summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-06-04 18:05:19 +1000
committerJed Barber <jjbarber@y7mail.com>2012-06-04 18:05:19 +1000
commitc6a16aa9f632ba723452803800251f7e33f15e35 (patch)
tree3e17ab75bf34bcf9729ec9f5e8d3ffca369170e2
parent09fa09802554e8935e271ab73990032944bb760d (diff)
Separated output by function being tested
-rw-r--r--Test.hs18
1 files changed, 12 insertions, 6 deletions
diff --git a/Test.hs b/Test.hs
index e2508be..f886dce 100644
--- a/Test.hs
+++ b/Test.hs
@@ -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]