running 1 test
test os_user_copy_write_negative ... FAILED

failures:

failures:
    os_user_copy_write_negative

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 19 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)
   Compiling turkos-os-user-copy v0.1.0 (<project>/reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-rx-write-permission/os-user-copy)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.47s
     Running tests/user_copy.rs (reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-rx-write-permission/target/debug/build/turkos-os-user-copy/5970609a3e73beab/out/user_copy-5970609a3e73beab)

thread 'os_user_copy_write_negative' (41149780) panicked at tests/user_copy.rs:198:5:
assertion `left == right` failed
  left: Ok(())
 right: Err(Mapping(Permissions))
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--test user_copy`