diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-11 21:52:46 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-11 21:52:46 +0100 |
| commit | dfcce130cf054b39017d2361f89836e62860c0c7 (patch) | |
| tree | c7d136770c27158187f3dcdb5743d105bb52862b /test | |
| parent | ed0bdb618c3bbdfda22eae60bfd0dae3a17040e0 (diff) | |
| download | verismith-dfcce130cf054b39017d2361f89836e62860c0c7.tar.gz verismith-dfcce130cf054b39017d2361f89836e62860c0c7.zip | |
Add reduction unit tests
Diffstat (limited to 'test')
| -rw-r--r-- | test/Unit.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Unit.hs b/test/Unit.hs index a45f120..cfac8f3 100644 --- a/test/Unit.hs +++ b/test/Unit.hs @@ -5,6 +5,7 @@ where import Control.Lens import Parser (parseUnitTests) +import Reduce (reduceUnitTests) import Test.Tasty import Test.Tasty.HUnit import VeriFuzz @@ -17,6 +18,7 @@ unitTests = testGroup transformExpectedResult (transform trans transformTestData) , parseUnitTests + , reduceUnitTests ] transformTestData :: Expr |