-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSTSTest.hs
More file actions
23 lines (17 loc) · 708 Bytes
/
STSTest.hs
File metadata and controls
23 lines (17 loc) · 708 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
module STSTest where
import STSHillclimbing
import Test.HUnit
--import Test.HUnit.Tools (assertRaises)
testSTS7 :: Test
testSTS7 = TestCase (do sts <- makeSTS 7
assertEqual "size of STS(7) is 7" 7 (length sts))
testSTS9 :: Test
testSTS9 = TestCase (do sts <- makeSTS 9
assertEqual "size of STS(9) is 12" 12 (length sts))
--testSTS11 :: Test
--testSTS11 = TestCase (assertRaises Error("STS only exist for n = 1,3 (mod 6)") (makeSTS 11))
tests = TestList [TestLabel "testSTS7" testSTS7,
TestLabel "testSTS9" testSTS9]
--TestLabel "testSTS11" testSTS11]
main :: IO Counts
main = runTestTT tests