feat(tests): test suite

trilitech · Aug 27, 2024 · 74ff885 · 74ff885
1 parent 07325aa
commit 74ff885
Show file tree

Hide file tree

Showing 3 changed files with 1,229 additions and 1 deletion.
diff --git a/lib/lltz_ir/dsl.ml b/lib/lltz_ir/dsl.ml
@@ -141,7 +141,7 @@ let pairing_check ?(range = dummy) pairings = create ~range (LLTZ.E.Prim (LLTZ.P
 let voting_power ?(range = dummy) key_hash = create ~range (LLTZ.E.Prim (LLTZ.P.Voting_power, [key_hash]))
 let getn ?(range = dummy) n value = create ~range (LLTZ.E.Prim (LLTZ.P.Get_n n, [value]))
 let cast ?(range = dummy) ty value = create ~range (LLTZ.E.Prim (LLTZ.P.Cast ty, [value]))
-let rename = assert false
+(*let rename = assert false*)
 let emit ?(range = dummy) (opt, ty) value = create ~range (LLTZ.E.Prim (LLTZ.P.Emit (opt, ty), [value]))
 let failwith ?(range = dummy) value = create ~range (LLTZ.E.Prim (LLTZ.P.Failwith, [value]))
 let never ?(range = dummy) value = create ~range (LLTZ.E.Prim (LLTZ.P.Never, [value]))

diff --git a/test/dune b/test/dune
@@ -0,0 +1,7 @@
+(library
+ (name test_dsl)
+ (libraries core lltz_michelson fmt)
+ (modules test_dsl)
+ (inline_tests)
+ (preprocess (pps ppx_jane))
+)