Mercurial > urweb
view tests/README @ 2094:0d898b086bbe
Improve wildify heuristic for finding record type-class witnesses
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 23 Dec 2014 13:42:20 -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!