running 1 test
test stale_retained_page_generation_is_detected_on_resume ... FAILED

failures:

failures:
    stale_retained_page_generation_is_detected_on_resume

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

   Compiling turkos-os-runtime-platform v0.1.0 (<project>/os-runtime-platform)
   Compiling turkos-os-frame-authority v0.1.0 (<project>/os-frame-authority)
   Compiling turkos-os-buddy-frames v0.1.0 (<project>/reports/os-implementation/K741-K759-7jBhgr/mutant-stale-central-token/os-buddy-frames)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.50s
     Running tests/buddy.rs (reports/os-implementation/K741-K759-7jBhgr/mutant-stale-central-token/target/debug/build/turkos-os-buddy-frames/aed4ac960f5fbb7a/out/buddy-aed4ac960f5fbb7a)

thread 'stale_retained_page_generation_is_detected_on_resume' (41025540) panicked at tests/buddy.rs:287:5:
assertion failed: matches!(Buddy::resume(&mut workspace, &mut authority, 1),
    Err(Error::Backend(FrameError::StaleLease)))
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--test buddy`