Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / testsuite / Testsuite.mli @ 1d36cd07

History | View | Annotate | Download (560 Bytes)

# Date Author Comment
4a20854e 04/06/2017 05:57 PM Hans-Peter Deifel

tests: Print summary for failed tests at the end

Makes it easier to find failing formulas for further fine-grained
analysis.

a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

f71032c3 07/11/2014 03:01 AM Thorsten Wißmann

Add smallest DL98 testcases to testsuite

dcb82f00 05/16/2014 09:04 PM Thorsten Wißmann

Add statistics to testsuite output

ab2d3adc 05/16/2014 08:18 PM Thorsten Wißmann

Add basic testcase checking

b33c1f3f 05/16/2014 07:22 PM Thorsten Wißmann

Add basic testsuite skeleton