view tests/README @ 1786:d794149b3713

<active>
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 13:55:35 -0400
parents d40104c112df
children
line wrap: on
line source
Most of these tests are broken, which is why they are masked out for the official code releases.
Use at your own risk, and expect no support from anyone!