Commits · e10ffbbd4eb005b23c4b747438ffcf9217a123a4 · POTTIER Francois / menhir

30 Mar, 2017 1 commit
- Renamed bench/ to test/. · 3a07b255
  POTTIER Francois authored Mar 30, 2017
  
  3a07b255
04 Feb, 2015 1 commit
- Removed belloeil and cutdown from the "known failures" file. · bb1fbaf1
  POTTIER Francois authored Feb 04, 2015
```
  (Even though at least cutdown would deserve investigation.)
```
  bb1fbaf1
15 Dec, 2014 2 commits
- bench/good: enable --explain during "make test". · 3dad74fc
  POTTIER Francois authored Dec 15, 2014
```
bench/good: added the known bug cutdown.mly.
```
  3dad74fc
- Improved bench/good/Makefile to allow a set of known failures. · d1e79deb
  POTTIER Francois authored Dec 15, 2014
  
  d1e79deb