suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added test names to some of the tests in ArrayUsageCheckTest

Browse Source
This commit is contained in:
Neil Brown 2008-01-26 21:55:02 +00:00
parent bc3ad29fed
commit 7e7395d47f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
transformations/ArrayUsageCheckTest.hs
View File

@ -242,7 +242,7 @@ check s (ind, eq, ineq) =
", ineqs: " ++ showMaybe showInequalities (transformMaybe snd sapped) ++ ")"
testMakeEquations :: Test
testMakeEquations = TestList
testMakeEquations = TestLabel "testMakeEquations" $ TestList
[
test (0,[(Map.empty,[con 0 === con 1],leq [con 0,con 1,con 7] &&& leq [con 0,con 2,con 7])],
[intLiteral 1, intLiteral 2],intLiteral 8)
@ -774,7 +774,7 @@ qcOmegaPrune = [scaleQC (100,1000,10000,50000) prop]
ioqcTests :: IO (Test, [QuickCheckTest])
ioqcTests
= seqPair
(liftM TestList $ sequence
(liftM (TestLabel "ArrayUsageCheckTest" . TestList) $ sequence
[
return testArrayCheck
,return testIndexes