tests: Print summary for failed tests at the end
Makes it easier to find failing formulas for further fine-grainedanalysis.
Add vim modeline to all OCaml files
Add smallest DL98 testcases to testsuite
Add statistics to testsuite output
Add basic testcase checking
Add basic testsuite skeleton