Mercurial > urweb
view tests/README @ 2195:18e6fb487880
Reduce: add reduction in some spots previously missed, associated with 'case' return types
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Nov 2015 18:48:17 -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!