diff options
| author | polwex <polwex@sortug.com> | 2025-10-07 00:19:53 +0700 |
|---|---|---|
| committer | polwex <polwex@sortug.com> | 2025-10-07 00:19:53 +0700 |
| commit | acf0d9d90795db6b028d7404a5cdc0a20d0225d9 (patch) | |
| tree | 28ae2dea8eee85f73c35f386d81866c599820f3f /ocaml/test | |
| parent | 799007bbfee05ee706a9d24d399458c2229ad6af (diff) | |
added mugs to nock logs
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 |