running 15 tests
test copy_pin_blocks_unmap_protect_and_backend_escape ... ok
test aliases_cannot_combine_writable_and_executable_user_backing ... ok
test os_mapping_guard_positive ... ok
test os_mapping_guard_negative ... ok
test os_mapping_protect_negative ... ok
test os_mapping_insert_negative ... ok
test os_mapping_remove_negative ... ok
test os_mapping_insert_positive ... ok
test os_mapping_protect_positive ... ok
test preparation_failure_commits_no_root_prefix ... ok
test pin_preflight_last_page_fault_changes_no_prefix_pins ... ok
test overflow_alignment_window_and_metadata_limits_fail_before_prepare ... ok
test readonly_or_stale_frame_pin_never_grants_write ... ok
test os_mapping_remove_positive ... ok
test same_caller_scope_ids_cannot_unpin_an_independent_mapping ... ok

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

   Compiling turkos-os-page-tables v0.1.0 (<project>/os-page-tables)
   Compiling turkos-os-mapping v0.1.0 (<project>/os-mapping)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.41s
     Running tests/mapping.rs (reports/os-implementation/K841-K859-preparation-JcE65w/target/debug/build/turkos-os-mapping/70ad7af85627c63f/out/mapping-70ad7af85627c63f)