diff options
Diffstat (limited to 'ocaml/test')
| -rw-r--r-- | ocaml/test/test_two_stage_boot.ml | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/ocaml/test/test_two_stage_boot.ml b/ocaml/test/test_two_stage_boot.ml index da4f17b..62d262d 100644 --- a/ocaml/test/test_two_stage_boot.ml +++ b/ocaml/test/test_two_stage_boot.ml @@ -86,14 +86,25 @@ let stage1_ivory_boot env = (if Noun.is_cell poke_battery then "cell ✓" else "atom ✗") end; + (* Compute mugs of small sub-structures for verification *) + Printf.printf " Computing mugs of sub-structures:\n"; + let slot2_mug = Noun.mug slot2 in + let slot3_mug = Noun.mug slot3 in + let poke_mug = Noun.mug poke in + Printf.printf " Slot 2 mug: 0x%lx\n" slot2_mug; + Printf.printf " Slot 3 mug: 0x%lx\n" slot3_mug; + Printf.printf " Poke mug: 0x%lx\n" poke_mug; + Printf.printf "\n"; Printf.printf "╔═══════════════════════════════════════╗\n"; Printf.printf "║ ✓ STAGE 1 COMPLETE! ║\n"; Printf.printf "╚═══════════════════════════════════════╝\n\n"; - Printf.printf "⚠️ NOTE: Structural checks passed, but cannot verify\n"; - Printf.printf " kernels are identical without mug comparison.\n"; - Printf.printf " Need to implement mug caching first!\n\n"; + Printf.printf "⚠️ To verify correctness, compare these mugs with C:\n"; + Printf.printf " Run the C test and check if mugs match!\n\n"; + + (* Print cache stats *) + Noun.MugCache.stats (); Some kernel |