running 1 test
test gic::tests::stale_dispatch_generation_never_consumes_actual_live_ticket ... FAILED

failures:

failures:
    gic::tests::stale_dispatch_generation_never_consumes_actual_live_ticket

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

   Compiling turkos-os-gic v0.1.0 (<project>/reports/os-implementation/K921-K939-preparation-7Bk1ve/mutant-stale-dispatch-generation/os-gic)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.20s
     Running unittests src/lib.rs (reports/os-implementation/K921-K939-preparation-7Bk1ve/mutant-stale-dispatch-generation/target/debug/build/turkos-os-gic/1481543171ef58a0/out/turkos_os_gic-1481543171ef58a0)

thread 'gic::tests::stale_dispatch_generation_never_consumes_actual_live_ticket' (41337532) panicked at src/gic.rs:859:9:
assertion `left == right` failed
  left: Ok(Work { completed: 1, deferred: false, closing: false })
 right: Err(Stale)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--lib`