summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorKjetil Orbekk <kjetil.orbekk@gmail.com>2016-03-08 01:12:22 +0100
committerKjetil Orbekk <kjetil.orbekk@gmail.com>2016-03-08 01:35:15 +0100
commitc1a886bb59f5f819aa4d20b3a7d59ae9efffd804 (patch)
tree588d6f1571f1e3f6b8075d001e14182a4bed013d /test
Import new stack project.
Created with stack new fun quickcheck-test-framework
Diffstat (limited to 'test')
-rw-r--r--test/Spec.hs20
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Spec.hs b/test/Spec.hs
new file mode 100644
index 0000000..0f46756
--- /dev/null
+++ b/test/Spec.hs
@@ -0,0 +1,20 @@
+import Test.Framework (defaultMain, testGroup)
+import Test.Framework.Providers.QuickCheck2 (testProperty)
+
+import Test.QuickCheck
+
+main :: IO ()
+main = defaultMain tests
+
+tests = [
+ testGroup "Sorting Group 1" [
+ testProperty "prop1" prop1,
+ testProperty "prop2" prop2
+ ]
+ ]
+
+prop1 b = b == False
+ where types = (b :: Bool)
+
+prop2 i = i == 42
+ where types = (i :: Int)