summaryrefslogtreecommitdiff
path: root/ocaml/test/test_two_phase_boot.ml
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-10-06 23:18:59 +0700
committerpolwex <polwex@sortug.com>2025-10-06 23:18:59 +0700
commit5de3f7a3ad7b0cf63b4a6cbddfc1e26359dea161 (patch)
treeb55b2258123149bed40bd89bbaa58e7da54f3a26 /ocaml/test/test_two_phase_boot.ml
parentfdab65f6dac4ba85ed4749f61970660d1132d453 (diff)
cleaned up tests
Diffstat (limited to 'ocaml/test/test_two_phase_boot.ml')
-rw-r--r--ocaml/test/test_two_phase_boot.ml42
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