running 1 test
test zero_or_excess_budget_and_unserviced_finish_have_no_callbacks_or_eoi ... FAILED

failures:

failures:
    zero_or_excess_budget_and_unserviced_finish_have_no_callbacks_or_eoi

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

   Compiling turkos-os-gic v0.1.0 (<project>/reports/os-implementation/K921-K939-preparation-7Bk1ve/mutant-unserviced-return/os-gic)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.40s
     Running tests/gic.rs (reports/os-implementation/K921-K939-preparation-7Bk1ve/mutant-unserviced-return/target/debug/build/turkos-os-gic/504a3f6ce8f6a297/out/gic-504a3f6ce8f6a297)

thread 'zero_or_excess_budget_and_unserviced_finish_have_no_callbacks_or_eoi' (41339736) panicked at tests/gic.rs:425:37:
called `Result::unwrap_err()` on an `Ok` value: ReturnPermit { instance: 1, serial: 1, owner: 1, intid: 30, cpu: 0, released: false }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--test gic`