From acf0d9d90795db6b028d7404a5cdc0a20d0225d9 Mon Sep 17 00:00:00 2001 From: polwex Date: Tue, 7 Oct 2025 00:19:53 +0700 Subject: added mugs to nock logs --- ocaml/test/test_two_stage_boot.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ocaml/test') 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 -- cgit v1.2.3