diff options
| author | Akshay <[email protected]> | 2020-10-13 18:39:42 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2020-10-13 18:39:42 +0100 |
| commit | 8b08ea946d1fc73d8363efb633b8063f750520bf (patch) | |
| tree | c4b0db535597f25f3750628725fd03f43ac59dab /tests/Main.hs | |
| parent | f943fc17e5f80f92d20c86de5ea499bbfbe0cd75 (diff) | |
rework test suite
Diffstat (limited to 'tests/Main.hs')
| -rw-r--r-- | tests/Main.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tests/Main.hs b/tests/Main.hs index a05ddb1..c4e0d9b 100644 --- a/tests/Main.hs +++ b/tests/Main.hs | |||
| @@ -1,8 +1,6 @@ | |||
| 1 | module Main where | 1 | module Main where |
| 2 | 2 | ||
| 3 | import Properties | 3 | import Properties |
| 4 | import Test.Framework.Providers.QuickCheck2 | ||
| 5 | import Test.Framework.Runners.Console (defaultMain) | ||
| 6 | import Test.QuickCheck | 4 | import Test.QuickCheck |
| 7 | 5 | ||
| 8 | main = defaultMain [ Properties.tests ] | 6 | main = tests |