diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 21:13:04 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 21:13:04 +0000 |
| commit | 9f829c41651cd2872b1c6e666b5bceeebf829aee (patch) | |
| tree | 2d68f84e159fe0d089d96443a33220bec307a452 /test/Test.hs | |
| parent | a8436846201d03b80d8b11b68ef07923bb2997b4 (diff) | |
| download | verismith-9f829c41651cd2872b1c6e666b5bceeebf829aee.tar.gz verismith-9f829c41651cd2872b1c6e666b5bceeebf829aee.zip | |
Move tests to test
Diffstat (limited to 'test/Test.hs')
| -rw-r--r-- | test/Test.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Test.hs b/test/Test.hs new file mode 100644 index 0000000..08a4799 --- /dev/null +++ b/test/Test.hs @@ -0,0 +1,11 @@ +module Main where + +import Property +import Test.Tasty +import Test.VeriFuzz +import Unit + +tests :: TestTree +tests = testGroup "Tests" [unitTests, propertyTests] + +main = defaultMain tests |