(test
 (name test_nock)
 (modules test_nock)
 (libraries nock_lib zarith))

(test
 (name test_serial)
 (modules test_serial)
 (libraries nock_lib zarith))

(test
 (name test_jam_debug)
 (modules test_jam_debug)
 (libraries nock_lib zarith))

(test
 (name bench_nock)
 (modules bench_nock)
 (libraries nock_lib zarith unix))

(test
 (name bench_serial)
 (modules bench_serial)
 (libraries nock_lib zarith unix))

(executable
 (name bench_cue_pill)
 (modules bench_cue_pill)
 (libraries nock_lib unix))

(executable
 (name test_roundtrip)
 (modules test_roundtrip)
 (libraries nock_lib zarith))

(executable
 (name test_bench_one)
 (modules test_bench_one)
 (libraries nock_lib zarith))

(executable
 (name jam_compare)
 (modules jam_compare)
 (libraries nock_lib zarith))

(executable
 (name test_hex)
 (libraries nock_lib))

(executable
 (name test_eventlog)
 (modules test_eventlog)
 (libraries nock_lib eio_main))

(executable
 (name test_state)
 (modules test_state)
 (libraries nock_lib eio_main unix))

(executable
 (name test_multicore)
 (modules test_multicore)
 (libraries nock_lib eio_main unix))

(executable
 (name test_runtime)
 (modules test_runtime)
 (libraries nock_lib io_drivers eio_main unix))

(executable
 (name test_parallel_nock)
 (modules test_parallel_nock)
 (libraries nock_lib eio_main unix domainslib))

(executable
 (name test_ames)
 (modules test_ames)
 (libraries nock_lib io_drivers eio_main unix))

(executable
 (name test_http)
 (modules test_http)
 (libraries nock_lib io_drivers eio_main unix))

(executable
 (name test_clay)
 (modules test_clay)
 (libraries nock_lib io_drivers eio_main unix))

(executable
 (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_real_poke)
 (modules test_arvo_real_poke)
 (libraries nock_lib eio_main unix))

(executable
 (name test_solid_structure)
 (modules test_solid_structure)
 (libraries nock_lib eio_main unix))

(executable
 (name test_boot_solid_events)
 (modules test_boot_solid_events)
 (libraries nock_lib eio_main unix))

(executable
 (name test_poke_solid_arvo)
 (modules test_poke_solid_arvo)
 (libraries nock_lib eio_main unix))

(executable
 (name test_brass_cue)
 (modules test_brass_cue)
 (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))

(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))

(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))

(executable
 (name test_life_formula)
 (modules test_life_formula)
 (libraries nock_lib))

(executable
 (name examine_ivory)
 (modules examine_ivory)
 (libraries nock_lib eio_main))

(executable
 (name test_two_phase_boot)
 (modules test_two_phase_boot)
 (libraries nock_lib eio_main))