Neil Brown
183e68ee59
Corrected the display of variables relating to REM
2008-01-16 11:34:56 +00:00
Neil Brown
a14a866502
Changed the test harness to get some tests inside the IO monad. This allows all the tests to be run, not just until the first failure
2008-01-16 11:15:05 +00:00
Neil Brown
90fb5e2182
Fixed a bug where multiple problems would be deemed safe as long as one didn't have a solution (as opposed to all not having solutions)
2008-01-16 10:52:51 +00:00
Neil Brown
b5606eb7a9
Tidied up the error messages given when the array usage checker finds a problem
2008-01-16 03:37:53 +00:00
Neil Brown
1c0434cc47
Corrected a small omission in the cases for testing array indices (if there are no problems to work with)
2008-01-16 03:29:13 +00:00
Neil Brown
b3216c4870
Added a test-source-file for testing the array usage checker, and added it to the appropriate test list
2008-01-16 03:28:26 +00:00
Neil Brown
64a9fcf2dd
Added the functionality for variable divisors with REM
2008-01-16 01:49:02 +00:00
Neil Brown
bd998a5b95
Added a test for REM with a variable divisor
2008-01-16 01:48:39 +00:00
Neil Brown
612893bd0c
Corrected a bug from using zip where an "actual" list of size N would only match the first N elements of the expected, even if expected had more than N items
2008-01-16 00:39:05 +00:00
Neil Brown
f7503ac58c
Added a further test involving two REM operations (both still with constant divisors)
2008-01-15 21:22:46 +00:00
Neil Brown
43d0098f99
Added another test for formulating a problem involving the REM operator
2008-01-15 19:14:34 +00:00
Neil Brown
a00b1ea602
Fixed the existing test for modulo items (it now also passes)
2008-01-15 18:50:22 +00:00
Neil Brown
3e674e3773
Fixed the pairing of indices so that two parts of a modulo triplicate-possibility are never paired with each other, and removed the filtering of all-zero equations (primarily to aid in the testing)
2008-01-15 18:48:00 +00:00
Neil Brown
bc7c5072b8
Fixed the display of equations such as 0 = 0 after test failure
2008-01-15 18:47:28 +00:00
Neil Brown
2cb0610d83
Added custom, much more readable display of problems when the assertEquivalentProblems function fails
2008-01-15 18:12:04 +00:00
Neil Brown
d3fca1d610
Moved showMaybe to the Utils module and added a similar showListCustom function
2008-01-15 18:08:56 +00:00
Neil Brown
05e2678cf6
Corrected a bug in the comparison function for FlattenedExp
2008-01-15 17:44:35 +00:00
Neil Brown
f6ba7be173
Changed various uses of the maximum function to make sure they always succeed
2008-01-15 17:33:19 +00:00
Neil Brown
918b9e7af7
Changed the array usage checking and all the tests to support modulo and division
...
This patch is unavoidably large (no easy way to split it down). The code compiles, but the modulo test (which is currently wrong anyway) fails at the moment
2008-01-15 17:08:15 +00:00
Neil Brown
421cff1017
Removed the useless (and wrong) scaling aspect of makeEquations
2008-01-12 11:59:55 +00:00
Neil Brown
97fc225bf3
Added some more comments to the Omega Test code
2008-01-09 17:24:56 +00:00
Neil Brown
26bd792e61
Fixed a bug where the non-pruned version of the inequalities were being used in fmElimination; the Omega Test now functions properly
2008-01-09 17:14:15 +00:00
Neil Brown
524275cd9f
Added the ability to print out the variable mapping and inequalities in a more readable format when tests fail
2008-01-09 17:14:02 +00:00
Neil Brown
d5a9829b0f
Fixed the brute-force problems function so that it properly uses all inequalities not just the left-overs
2008-01-09 14:56:26 +00:00
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
4ee25b62ca
Added some more comments to the fmElimination function
2008-01-09 12:46:50 +00:00
Neil Brown
8ec4832a03
Removed the unused half of VariableMapping
2008-01-09 12:27:02 +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
d23baf719b
Added support for multiplication to the usage checking
2007-12-17 11:56:51 +00:00
Neil Brown
337d339641
Added comments to the makeEquations function
2007-12-17 11:43:18 +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
5a721fb428
Fixed the processing of expressions to equations to properly square the equations
2007-12-17 02:13:40 +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
Neil Brown
4f88a1e4a1
Added negative coefficients to the QuickCheck tests
2007-12-16 13:43:45 +00:00
Neil Brown
a0203ff971
Corrected a haddock comment
2007-12-16 13:38:23 +00:00
Neil Brown
6320bfdffb
Tidied up some of the QuickCheck tests for the Omega Test pruning
2007-12-16 13:35:51 +00:00
Neil Brown
cc7d32ffeb
Corrected a mistake in a comment
2007-12-16 12:51:41 +00:00
Neil Brown
3a65651885
Added a really hacky initial implementation of a pass that checks that parallel array usage is safe
2007-12-16 02:07:02 +00:00
Neil Brown
b4ccc9f8de
Changed the representation of the exact (constant) solutions to equations to be a simple Map
2007-12-16 00:55:38 +00:00
Neil Brown
a1d3501313
Changed the QuickCheck tests to test that we can get the exact answer from a full equality set, and rather ham-fistedly fixed a bug where substitutions were being applied multiple times to the variable mapping
2007-12-16 00:33:27 +00:00
Neil Brown
d5461bb10b
Moved the norm helper to be a top-level function in the tests
2007-12-15 03:19:25 +00:00
Neil Brown
3e4e5355ff
Changed the VariableMapping mess into a more correct mess
2007-12-15 02:58:08 +00:00
Neil Brown
c0d06ce173
Added a first attempt at recording the variable mappings during equation manipulation, and changed all the current tests to ignore it
2007-12-15 00:34:50 +00:00
