From c6a16aa9f632ba723452803800251f7e33f15e35 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Mon, 4 Jun 2012 18:05:19 +1000 Subject: Separated output by function being tested --- Test.hs | 18 ++++++++++++------ 1 file 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] -- cgit