5 commits

Author	SHA1	Message	Date
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	4d114fdd38	Changed the assert interface to accept a format string	2015-09-08 18:49:24 +02:00
Snaipe	afad78c433	Added generated datapoints theory sample	2015-09-07 18:03:05 +02:00
Snaipe	47d1293303	Made the theory interface C++11-compatible	2015-09-07 08:22:02 +02:00