view tests/README @ 1799:3d922a28370b

author Adam Chlipala <>
date Thu, 02 Aug 2012 16:33:25 -0400
parents d40104c112df
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!