diff options
Diffstat (limited to 'ocaml/test')
| -rw-r--r-- | ocaml/test/test_two_stage_boot.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ocaml/test/test_two_stage_boot.ml b/ocaml/test/test_two_stage_boot.ml index 17c72a8..863c3a1 100644 --- a/ocaml/test/test_two_stage_boot.ml +++ b/ocaml/test/test_two_stage_boot.ml @@ -54,6 +54,10 @@ let stage1_ivory_boot env = Printf.printf "[5] Running u3v_life() on Arvo core...\n%!"; Printf.printf " Formula: [2 [0 3] [0 2]]\n"; Printf.printf " Subject: Arvo core (cell, mug: 0x%08lx)\n%!" core_mug; + Printf.printf " Enabling mug logging for all nock steps...\n%!"; + + (* Enable mug logging at every step *) + Nock.show_mugs := true; begin try let start = Unix.gettimeofday () in |