view tests/README @ 2095:d9f918b79b5a

List.mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 14:41:23 -0500
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!