running 1 test
test incomplete_tlbi_rejected_without_publication ... FAILED

failures:

failures:
    incomplete_tlbi_rejected_without_publication

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

   Compiling turkos-os-entry-stack v0.1.0 (<project>/reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-tlbi/os-entry-stack)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.20s
     Running tests/stack.rs (reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-tlbi/target/debug/build/turkos-os-entry-stack/9a136f43a262b3f2/out/stack-9a136f43a262b3f2)

thread 'incomplete_tlbi_rejected_without_publication' (40759912) panicked at tests/stack.rs:238:5:
assertion `left == right` failed
  left: Ok(())
 right: Err(GuardEvidence)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--test stack`