very stuck

1 files changed, 95 insertions, 0 deletions

diff --git a/ocaml/test/dune b/ocaml/test/dune
index 0b43bc8..17e84b8 100644
--- a/ocaml/test/dune
+++ b/ocaml/test/dune
@@ -153,6 +153,11 @@
  (libraries nock_lib eio_main unix))
 
 (executable
+ (name test_arvo_poke_correct)
+ (modules test_arvo_poke_correct)
+ (libraries nock_lib eio_main unix))
+
+(executable
  (name test_arvo_slots)
  (modules test_arvo_slots)
  (libraries nock_lib eio_main unix))
@@ -176,3 +181,93 @@
  (name cache_solid)
  (modules cache_solid)
  (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_boot_arvo_properly)
+ (modules test_boot_arvo_properly)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name inspect_boot_events)
+ (modules inspect_boot_events)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name inspect_events_simple)
+ (modules inspect_events_simple)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_solid_cvere_pattern)
+ (modules test_solid_cvere_pattern)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name explore_kernel_structure)
+ (modules explore_kernel_structure)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_slam_directly)
+ (modules test_slam_directly)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_boot_with_slam)
+ (modules test_boot_with_slam)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name inspect_event4_detail)
+ (modules inspect_event4_detail)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name compare_events_3_4)
+ (modules compare_events_3_4)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name examine_event3_effects)
+ (modules examine_event3_effects)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_functional_bios)
+ (modules test_functional_bios)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name debug_event4_slam)
+ (modules debug_event4_slam)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_event4_slot42)
+ (modules test_event4_slot42)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_correct_boot)
+ (modules test_correct_boot)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name parse_solid_pill)
+ (modules parse_solid_pill)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name examine_pill_events)
+ (modules examine_pill_events)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_life_on_bot)
+ (modules test_life_on_bot)
+ (libraries nock_lib eio_main unix))
+
+(executable
+ (name test_two_stage_boot)
+ (modules test_two_stage_boot)
+ (libraries nock_lib eio_main unix))