Commit graph

5 commits

Author SHA1 Message Date
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