diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-23 11:27:11 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-23 11:27:18 +0000 |
commit | 434c2828ab622c4b9d07a1f1a8a09ede0696f4e0 (patch) | |
tree | 4a8ff0f4b78640a596b5cea26725bf991c65f070 /tests/Test.hs | |
parent | 856034f1eaa0785cb9f29717fc32d0d6ed798460 (diff) | |
download | verismith-434c2828ab622c4b9d07a1f1a8a09ede0696f4e0.tar.gz verismith-434c2828ab622c4b9d07a1f1a8a09ede0696f4e0.zip |
Add unit tests for the traversal
Diffstat (limited to 'tests/Test.hs')
-rw-r--r-- | tests/Test.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/Test.hs b/tests/Test.hs index c234b90..08a4799 100644 --- a/tests/Test.hs +++ b/tests/Test.hs @@ -2,10 +2,10 @@ module Main where import Property import Test.Tasty +import Test.VeriFuzz import Unit tests :: TestTree tests = testGroup "Tests" [unitTests, propertyTests] main = defaultMain tests - |