diff options
author | polwex <polwex@sortug.com> | 2025-10-06 23:18:59 +0700 |
---|---|---|
committer | polwex <polwex@sortug.com> | 2025-10-06 23:18:59 +0700 |
commit | 5de3f7a3ad7b0cf63b4a6cbddfc1e26359dea161 (patch) | |
tree | b55b2258123149bed40bd89bbaa58e7da54f3a26 /ocaml/test/test_two_phase_boot.ml | |
parent | fdab65f6dac4ba85ed4749f61970660d1132d453 (diff) |
cleaned up tests
Diffstat (limited to 'ocaml/test/test_two_phase_boot.ml')
-rw-r--r-- | ocaml/test/test_two_phase_boot.ml | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/ocaml/test/test_two_phase_boot.ml b/ocaml/test/test_two_phase_boot.ml deleted file mode 100644 index 0669b92..0000000 --- a/ocaml/test/test_two_phase_boot.ml +++ /dev/null @@ -1,42 +0,0 @@ -(* Test Two-Phase Boot: Ivory ā Solid - * - * This matches the C Vere boot flow: - * 1. Boot ivory pill (lite boot, creates minimal kernel) - * 2. Boot solid events (metamorphosis to full kernel) - *) - -open Nock_lib - -let test_boot env = - Printf.printf "šÆ Testing Two-Phase Boot (Ivory ā Solid)\n\n"; - - Eio.Switch.run @@ fun _sw -> - let fs = Eio.Stdenv.fs env in - - (* Create runtime state *) - let state = State.create () in - - (* Boot with ivory + solid *) - match Boot.boot_solid ~fs state "ivory.pill" "solid.pill" with - | Error msg -> - Printf.printf "ā Boot failed: %s\n" msg; - exit 1 - | Ok () -> - Printf.printf "ā
Boot succeeded!\n\n"; - - (* Check kernel state *) - let arvo = State.get_arvo state in - Printf.printf "Arvo kernel structure:\n"; - Printf.printf " Type: %s\n" - (if Noun.is_cell arvo then "Cell" else "Atom"); - - Printf.printf "\nš TWO-PHASE BOOT COMPLETE!\n" - -let () = - Printf.printf "\n"; - Printf.printf "āāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāā\n"; - Printf.printf " Testing Two-Phase Boot System\n"; - Printf.printf "āāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāāā\n"; - Printf.printf "\n"; - - Eio_main.run test_boot |