1 files changed, 25 insertions, 0 deletions
diff --git a/ocaml/test/dune b/ocaml/test/dune
index 330f064..84a47a3 100644
--- a/ocaml/test/dune
+++ b/ocaml/test/dune
@@ -277,6 +277,31 @@
  (modules test_mug)
  (libraries nock_lib))
 
+(executable
+ (name test_slot3)
+ (modules test_slot3)
+ (libraries nock_lib eio_main))
+
+(executable
+ (name check_formula)
+ (modules check_formula)
+ (libraries nock_lib eio_main))
+
+(executable
+ (name check_lifecycle_formula)
+ (modules check_lifecycle_formula)
+ (libraries nock_lib))
+
+(executable
+ (name check_slot2_opcode)
+ (modules check_slot2_opcode)
+ (libraries nock_lib eio_main))
+
+(executable
+ (name examine_core_head)
+ (modules examine_core_head)
+ (libraries nock_lib eio_main))
+
 ; (executable
 ;  (name test_life_formula)
 ;  (modules test_life_formula)