diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-10 17:42:19 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-10 17:42:19 +0100 |
commit | ee65910032449d37165a19cd84b7a9f014ea5bae (patch) | |
tree | 22a5c7769e6ca365bf81ad8439e85a0a62bfd699 /test/Unit.hs | |
parent | 52fd1a61b5491b877cd36123805144e5a635bda5 (diff) | |
download | verismith-ee65910032449d37165a19cd84b7a9f014ea5bae.tar.gz verismith-ee65910032449d37165a19cd84b7a9f014ea5bae.zip |
Add always and initial blocks to parser
Diffstat (limited to 'test/Unit.hs')
-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 7878eaa..a45f120 100644 --- a/test/Unit.hs +++ b/test/Unit.hs @@ -4,6 +4,7 @@ module Unit where import Control.Lens +import Parser (parseUnitTests) import Test.Tasty import Test.Tasty.HUnit import VeriFuzz @@ -15,6 +16,7 @@ unitTests = testGroup "Successful transformation" transformExpectedResult (transform trans transformTestData) + , parseUnitTests ] transformTestData :: Expr |