diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-06-04 18:05:19 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-06-04 18:05:19 +1000 |
commit | c6a16aa9f632ba723452803800251f7e33f15e35 (patch) | |
tree | 3e17ab75bf34bcf9729ec9f5e8d3ffca369170e2 | |
parent | 09fa09802554e8935e271ab73990032944bb760d (diff) |
Separated output by function being tested
-rw-r--r-- | Test.hs | 18 |
1 files changed, 12 insertions, 6 deletions
@@ -163,10 +163,16 @@ substitute9 = TestCase (assertEqual "for (substitute ([(tx',ty'),(ty',ta)],[]) ( main = - runTestTT $ TestList [name1,name2,name3,name4, - number1,number2,number3,number4,number5, - assume1,assume2, - axiom1,axiom2, - alphaEquiv1,alphaEquiv2,alphaEquiv3,alphaEquiv4,alphaEquiv5,alphaEquiv6, - substitute1,substitute2,substitute3,substitute4,substitute5,substitute6,substitute7,substitute8,substitute9] + do putStrLn "Command.name" + runTestTT $ TestList [name1,name2,name3,name4] + putStrLn "Command.number" + runTestTT $ TestList [number1,number2,number3,number4,number5] + putStrLn "Command.assume" + runTestTT $ TestList [assume1,assume2] + putStrLn "Command.axiom" + runTestTT $ TestList [axiom1,axiom2] + putStrLn "Term.alphaEquiv" + runTestTT $ TestList [alphaEquiv1,alphaEquiv2,alphaEquiv3,alphaEquiv4,alphaEquiv5,alphaEquiv6] + putStrLn "Term.substitute" + runTestTT $ TestList [substitute1,substitute2,substitute3,substitute4,substitute5,substitute6,substitute7,substitute8,substitute9] |