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 /tests/Test.hs | |
| parent | a8436846201d03b80d8b11b68ef07923bb2997b4 (diff) | |
| download | verismith-9f829c41651cd2872b1c6e666b5bceeebf829aee.tar.gz verismith-9f829c41651cd2872b1c6e666b5bceeebf829aee.zip | |
Move tests to test
Diffstat (limited to 'tests/Test.hs')
| -rw-r--r-- | tests/Test.hs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tests/Test.hs b/tests/Test.hs deleted file mode 100644 index 08a4799..0000000 --- a/tests/Test.hs +++ /dev/null @@ -1,11 +0,0 @@ -module Main where - -import Property -import Test.Tasty -import Test.VeriFuzz -import Unit - -tests :: TestTree -tests = testGroup "Tests" [unitTests, propertyTests] - -main = defaultMain tests |