Commit graph

7 commits

Author SHA1 Message Date
Snaipe
6c248da321 Removed Theory data point generation 2015-12-08 01:49:56 +01:00
Snaipe
4352878db6 Fixed incorrect float comparison on MinGW-GCC for theory samples 2015-09-28 20:06:18 +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
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