Commit Graph

7 Commits

Author SHA1 Message Date
4f5d7f15bf
Fix build
detProp2 isn't implemented yet, oops
2014-12-18 04:14:31 +01:00
f774a92dd6
TESTS: add MyPrelude tests 2014-12-18 03:53:27 +01:00
b1ac2aa223
TESTS: add inRangeProp6 2014-12-18 01:06:16 +01:00
ecce3cd9d6
TESTS: add more test cases 2014-12-18 00:47:51 +01:00
396f92a921
TESTS: add more tests for scalarProd 2014-12-17 19:53:03 +01:00
35e1366034
TESTS: add some tests for scalarProd 2014-12-17 19:37:28 +01:00
f68d4c2ba7
TESTS: initial implementation of a few test cases 2014-12-17 05:11:18 +01:00