10 commits

Author	SHA1	Message	Date
Snaipe	3733c858cb	Fixed regression tests sometimes failing because of them being time-dependent	2015-10-06 15:44:09 +02:00
Snaipe	974b7d0393	Revert "Removed theory parameter printing from sample & regression test" ... & "Added regression tests on theories" This reverts commits 4cc826eae3 and 6110f43d87. Regression tests cannot be done on the two theory samples, as they both illustrate the consequences of testing against undefined behaviour. A full-fledged internal test should be set up in ./samples/tests for this purpose.	2015-09-26 01:39:17 +02:00
Snaipe	4cc826eae3	Removed theory parameter printing from sample & regression test	2015-09-26 00:36:51 +02:00
Snaipe	6110f43d87	Added regression tests on theories	2015-09-26 00:31:57 +02:00
Snaipe	942de4a583	Fixed line numbers on regression tests for parameterized tests	2015-09-21 17:02:16 +02:00
Snaipe	ef0d88326c	Added regression test for parameterized sample	2015-09-20 13:59:10 +02:00
Snaipe	9f850ef6fe	Fixed regression test for assert	2015-09-14 03:42:20 +02:00
Snaipe	5e8491af90	Added any_throw and none_throw assertions	2015-09-14 03:24:25 +02:00
Snaipe	dd3f534404	Added regression tests for redirect.{c,cc}	2015-09-13 13:52:02 +02:00
Snaipe	f7d4d7616a	Cleaned up sample directory	2015-09-09 02:44:34 +02:00