running 1 test
K613 adjacent disjoint: five owners, 51 pages, no free collision
test os_boot_contract_regions_positive ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 8 filtered out; finished in 0.00s

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
     Running tests/regions.rs (reports/os-implementation/K611-K614-EzW3BR/target/debug/build/turkos-os-boot-regions/7b192f17a667f2eb/out/regions-7b192f17a667f2eb)