Neil Brown
|
4ef97ed8b4
|
Changed the solveAndPrune test function to always have a valid mapping, even if there are no equalities
|
2008-01-09 14:55:59 +00:00 |
|
Neil Brown
|
57f18e5b18
|
Finished implementing the Omega Test - but a few tests are failing and I cannot yet see why
|
2008-01-09 12:05:09 +00:00 |
|
Neil Brown
|
218a1bd22c
|
Rearranged the tests for makeEquations to use a helper function, and added a couple of cases (one of which doesn't yet pass)
|
2007-12-17 02:38:05 +00:00 |
|
Neil Brown
|
8f1d1368af
|
Stopped makeEquations unnecessarily producing duplicate equations
|
2007-12-17 02:22:09 +00:00 |
|
Neil Brown
|
dc76d00085
|
Added better helper functions for testing the processing of expressions into equations
|
2007-12-17 02:13:17 +00:00 |
|
Neil Brown
|
1733869afd
|
Tidied up the tests and amended SolveEq to allow you to provide the answers, which are then checked
|
2007-12-16 19:20:53 +00:00 |
|
Neil Brown
|
02aa63ffda
|
Fixed the QuickCheck equality-equation generater so that it can no longer produce unsolveable equations
|
2007-12-16 19:05:32 +00:00 |
|
Neil Brown
|
70ce98021a
|
Added a few more HUnit tests for the equality solver
|
2007-12-16 19:05:01 +00:00 |
|
Neil Brown
|
3965babaff
|
Tidied up the testing framework for the HUnit Omega Test tests
|
2007-12-16 15:27:07 +00:00 |
|
Neil Brown
|
7403588aea
|
Fixed a situation where QuickCheck could occasionally generate duplicate equalities (where one was the negation of the other)
|
2007-12-16 14:12:29 +00:00 |
|
Neil Brown
|
423d22fa13
|
Moved the ArrayUsageCheck tests to their own new file (ArrayUsageCheckTest)
|
2007-12-16 14:02:45 +00:00 |
|