diff options
Diffstat (limited to 'ocaml/test/dune')
-rw-r--r-- | ocaml/test/dune | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/ocaml/test/dune b/ocaml/test/dune index 4916c6c..787672b 100644 --- a/ocaml/test/dune +++ b/ocaml/test/dune @@ -86,3 +86,63 @@ (name test_dill_iris) (modules test_dill_iris) (libraries nock_lib io_drivers eio_main unix)) + +(executable + (name test_arvo) + (modules test_arvo) + (libraries nock_lib eio_main unix)) + +(executable + (name test_arvo_structure) + (modules test_arvo_structure) + (libraries nock_lib eio_main unix)) + +(executable + (name test_poke_formulas) + (modules test_poke_formulas) + (libraries nock_lib eio_main unix)) + +(executable + (name test_arms) + (modules test_arms) + (libraries nock_lib eio_main unix)) + +(executable + (name test_pill_depth) + (modules test_pill_depth) + (libraries nock_lib eio_main unix)) + +(executable + (name test_real_arvo) + (modules test_real_arvo) + (libraries nock_lib eio_main unix)) + +(executable + (name test_cvere_poke) + (modules test_cvere_poke) + (libraries nock_lib eio_main unix)) + +(executable + (name test_arvo_slots) + (modules test_arvo_slots) + (libraries nock_lib eio_main unix)) + +(executable + (name test_ivory_boot) + (modules test_ivory_boot) + (libraries nock_lib eio_main unix)) + +(executable + (name test_ivory_structure) + (modules test_ivory_structure) + (libraries nock_lib eio_main unix)) + +(executable + (name test_solid_boot) + (modules test_solid_boot) + (libraries nock_lib eio_main unix)) + +(executable + (name cache_solid) + (modules cache_solid) + (libraries nock_lib eio_main unix)) |