SpaceOS CLI: build and boot partitioned satellite VMs
at main 13 lines 567 B view raw
1(*--------------------------------------------------------------------------- 2 Copyright (c) 2025 Thomas Gazagnaire. All rights reserved. 3 SPDX-License-Identifier: ISC 4 ---------------------------------------------------------------------------*) 5 6let test_default_image () = 7 let img = Space.Kernel.default_image in 8 Alcotest.(check bool) "non-empty" true (String.length img > 0); 9 Alcotest.(check bool) 10 "contains colon (OCI ref)" true (String.contains img ':') 11 12let suite = 13 ("kernel", [ Alcotest.test_case "default image" `Quick test_default_image ])