running 1 test
test successful_retirement_rejects_stale_and_double_release ... FAILED

failures:

---- successful_retirement_rejects_stale_and_double_release stdout ----

thread 'successful_retirement_rejects_stale_and_double_release' (41108612) panicked at tests/spaces.rs:330:5:
assertion `left == right` failed
  left: Ok(Observation { owner: 11, slot: 0, generation: 2, root: 1073750016, asid: 1, asid_generation: 2 })
 right: Err(Stale)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


failures:
    successful_retirement_rejects_stale_and_double_release

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

   Compiling turkos-os-address-spaces v0.1.0 (<project>/reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-stale-id/os-address-spaces)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.30s
     Running tests/spaces.rs (reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-stale-id/target/debug/build/turkos-os-address-spaces/8a8b018c19f35bf8/out/spaces-8a8b018c19f35bf8)
error: test failed, to rerun pass `--test spaces`