diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-01-26 16:50:56 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-26 16:50:56 +0100 |
commit | 29d90b31f8282e15e027faf32fd7fed99063049c (patch) | |
tree | 13f0d9a82ab4c5365a75334f03bf19e089f25d7d | |
parent | 6f7e07679a196232d21547f4df78b583a576cbff (diff) |
update UnitTests.hs
-rwxr-xr-x | run-test-suite.sh | 2 | ||||
-rw-r--r-- | test/UnitTests.hs | 8 |
2 files changed, 7 insertions, 3 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index 5a7cead1..ded9f41a 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/bash -e | 1 | #!/bin/sh -e |
2 | 2 | ||
3 | if [ "$1" == "--profile" ] ; then | 3 | if [ "$1" == "--profile" ] ; then |
4 | shift | 4 | shift |
diff --git a/test/UnitTests.hs b/test/UnitTests.hs index b6decfff..85485ae9 100644 --- a/test/UnitTests.hs +++ b/test/UnitTests.hs | |||
@@ -29,10 +29,14 @@ instance Arbitrary SourcePos where | |||
29 | = [newPos n' l' c' | n' <- shrink n, l' <- shrink l, c' <- shrink c] | 29 | = [newPos n' l' c' | n' <- shrink n, l' <- shrink l, c' <- shrink c] |
30 | -- TODO: Diagonalize shrink | 30 | -- TODO: Diagonalize shrink |
31 | 31 | ||
32 | instance Arbitrary Range where | ||
33 | arbitrary = Range <$> arbitrary <*> arbitrary | ||
34 | shrink (Range a b) = Range <$> shrink a <*> shrink b | ||
35 | |||
32 | instance Arbitrary SI where | 36 | instance Arbitrary SI where |
33 | arbitrary = oneof [NoSI . Set.fromList <$> arbitrary, Range <$> arbitrary] | 37 | arbitrary = oneof [NoSI . Set.fromList <$> arbitrary, RangeSI <$> arbitrary] |
34 | shrink (NoSI ds) = [] | 38 | shrink (NoSI ds) = [] |
35 | shrink (Range r) = mempty: map Range (shrink r) | 39 | shrink (RangeSI r) = mempty: map RangeSI (shrink r) |
36 | 40 | ||
37 | instance Arbitrary Infos where | 41 | instance Arbitrary Infos where |
38 | arbitrary = Infos . Map.fromList <$> arbitrary | 42 | arbitrary = Infos . Map.fromList <$> arbitrary |