running 20 tests
test invalid_user_windows_are_rejected_before_a_copy_exists ... ok
test kernel_mmio_and_high_half_addresses_never_reach_ram_adapter ... ok
test insufficient_string_output_and_zero_limit_publish_no_prefix ... ok
test foreign_owner_cannot_read_or_write_any_byte ... ok
test os_user_copy_race_positive ... ok
test os_user_copy_race_negative ... ok
test os_user_copy_read_negative ... ok
test guard_page_copy_never_acquires_or_reads_backing ... ok
test os_user_copy_strings_positive ... ok
test os_user_copy_read_positive ... ok
test os_user_copy_strings_negative ... ok
test os_user_copy_write_negative ... ok
test pointer_overflow_is_rejected_before_any_pin_or_copy ... ok
test os_user_copy_write_positive ... ok
test stale_generation_never_reaches_the_ram_alias ... ok
test overlimit_copy_and_small_string_workspace_are_preflight_errors ... ok
test terminated_string_does_not_require_unmapped_later_pages ... ok
test unterminated_string_with_missing_later_page_preserves_kernel_output ... ok
test wrong_length_and_read_pin_write_leave_both_destinations_unchanged ... ok
test zero_length_copy_at_window_boundary_performs_no_access ... ok

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

   Compiling turkos-os-page-tables v0.1.0 (<project>/os-page-tables)
   Compiling turkos-os-mapping v0.1.0 (<project>/os-mapping)
   Compiling turkos-os-user-copy v0.1.0 (<project>/os-user-copy)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.50s
     Running tests/user_copy.rs (reports/os-implementation/K861-K879-preparation-i9HtBB/target/debug/build/turkos-os-user-copy/5970609a3e73beab/out/user_copy-5970609a3e73beab)