running 1 test
test waitset_denials_leave_snapshot_unchanged ... FAILED

failures:

failures:
    waitset_denials_leave_snapshot_unchanged

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


thread 'waitset_denials_leave_snapshot_unchanged' (48598433) panicked at <project>/reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/workspace/kernel/tests/os/waitset_register.rs:35:5:
assertion `left == right` failed
  left: Ok(RegistrationId(4294967298))
 right: Err(Exists)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace