view tests/README @ 1450:d40104c112df

Warn that tests ought not to be used
author Adam Chlipala <>
date Sun, 17 Apr 2011 11:21:19 -0400
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!