From 0775dea2bc79cb1b5ee56f74f8076fc30a394127 Mon Sep 17 00:00:00 2001 From: Akshay Date: Thu, 8 Oct 2020 10:53:41 +0530 Subject: init --- tests/Main.hs | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tests/Main.hs (limited to 'tests/Main.hs') diff --git a/tests/Main.hs b/tests/Main.hs new file mode 100644 index 0000000..a05ddb1 --- /dev/null +++ b/tests/Main.hs @@ -0,0 +1,8 @@ +module Main where + +import Properties +import Test.Framework.Providers.QuickCheck2 +import Test.Framework.Runners.Console (defaultMain) +import Test.QuickCheck + +main = defaultMain [ Properties.tests ] -- cgit v1.2.3