aboutsummaryrefslogtreecommitdiffstats
path: root/test/Unit.hs
diff options
context:
space:
mode:
Diffstat (limited to 'test/Unit.hs')
-rw-r--r--test/Unit.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Unit.hs b/test/Unit.hs
index a72e188..67a6908 100644
--- a/test/Unit.hs
+++ b/test/Unit.hs
@@ -11,6 +11,7 @@ import Test.Tasty
import Test.Tasty.HUnit
import VeriFuzz
+unitTests :: TestTree
unitTests = testGroup
"Unit tests"
[ testCase "Transformation of AST" $ assertEqual
@@ -80,6 +81,7 @@ transformExpectedResult = BinOp
)
)
+trans :: Expr -> Expr
trans e = case e of
Id id -> if id == Identifier "id2" then Id $ Identifier "Replaced" else Id id
_ -> e