view tests/README @ 1591:20f898c29525

Tweaks to choices of source positions to use in error messages, including for subSgn
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 13:12:07 -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!