running 1 test
test recycled_asid_flushes_old_cached_value_before_new_activation ... FAILED

failures:

---- recycled_asid_flushes_old_cached_value_before_new_activation stdout ----

thread 'recycled_asid_flushes_old_cached_value_before_new_activation' (41108805) panicked at tests/spaces.rs:266:5:
assertion `left == right` failed
  left: []
 right: [(1, 1, 2)]
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


failures:
    recycled_asid_flushes_old_cached_value_before_new_activation

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-missing-asid-invalidate/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-missing-asid-invalidate/target/debug/build/turkos-os-address-spaces/8a8b018c19f35bf8/out/spaces-8a8b018c19f35bf8)
error: test failed, to rerun pass `--test spaces`