summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-01-26 16:50:56 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-01-26 16:50:56 +0100
commit29d90b31f8282e15e027faf32fd7fed99063049c (patch)
tree13f0d9a82ab4c5365a75334f03bf19e089f25d7d
parent6f7e07679a196232d21547f4df78b583a576cbff (diff)
update UnitTests.hs
-rwxr-xr-xrun-test-suite.sh2
-rw-r--r--test/UnitTests.hs8
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
3if [ "$1" == "--profile" ] ; then 3if [ "$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
32instance Arbitrary Range where
33 arbitrary = Range <$> arbitrary <*> arbitrary
34 shrink (Range a b) = Range <$> shrink a <*> shrink b
35
32instance Arbitrary SI where 36instance 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
37instance Arbitrary Infos where 41instance Arbitrary Infos where
38 arbitrary = Infos . Map.fromList <$> arbitrary 42 arbitrary = Infos . Map.fromList <$> arbitrary