Commit graph

7 commits

Author SHA1 Message Date
Snaipe
a6ff1f110c Added json regression test 2015-11-11 13:43:51 +01:00
Snaipe
3733c858cb Fixed regression tests sometimes failing because of them being time-dependent 2015-10-06 15:44:09 +02:00
Snaipe
fb6b0a6eaf Updated theory regression test output 2015-09-28 23:01:47 +02:00
Snaipe
9549db4fac [Issue #60] Added regression tests for theories 2015-09-28 13:30:02 +02:00
Snaipe
5e8491af90 Added any_throw and none_throw assertions 2015-09-14 03:24:25 +02:00
Snaipe
28144765ba Fixed comparison tests for failmessages 2015-09-14 01:47:00 +02:00
Snaipe
f7d4d7616a Cleaned up sample directory 2015-09-09 02:44:34 +02:00