From c1a886bb59f5f819aa4d20b3a7d59ae9efffd804 Mon Sep 17 00:00:00 2001 From: Kjetil Orbekk Date: Tue, 8 Mar 2016 01:12:22 +0100 Subject: Import new stack project. Created with stack new fun quickcheck-test-framework --- test/Spec.hs | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 test/Spec.hs (limited to 'test') 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) -- cgit v1.2.3