summaryrefslogtreecommitdiff
path: root/ocaml/test/dune
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/test/dune')
-rw-r--r--ocaml/test/dune10
1 files changed, 10 insertions, 0 deletions
diff --git a/ocaml/test/dune b/ocaml/test/dune
index 17e84b8..c7cf6da 100644
--- a/ocaml/test/dune
+++ b/ocaml/test/dune
@@ -271,3 +271,13 @@
(name test_two_stage_boot)
(modules test_two_stage_boot)
(libraries nock_lib eio_main unix))
+
+(executable
+ (name test_life_formula)
+ (modules test_life_formula)
+ (libraries nock_lib))
+
+(executable
+ (name examine_ivory)
+ (modules examine_ivory)
+ (libraries nock_lib eio_main))