view tests/README @ 1800:38297294cf98

New NameJs phase, still needing some debugging
author Adam Chlipala <>
date Thu, 02 Aug 2012 18:12:37 -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!