running 6 tests
test os_device_registry_driver_match_positive ... ok
test os_device_registry_detach_positive ... ok
test os_device_registry_identity_negative ... ok
test os_device_registry_identity_positive ... ok
test os_device_registry_driver_match_negative ... ok
test os_device_registry_detach_negative ... FAILED

failures:

---- os_device_registry_detach_negative stdout ----

thread 'os_device_registry_detach_negative' (48987080) panicked at <project>/reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/mutant/kernel/tests/os/device_registry.rs:158:5:
assertion `left == right` failed
  left: Ok(Device { key: DeviceKey { transport: Mmio, location: 167772160 }, kind: Block })
 right: Err(ResetRequired)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


failures:
    os_device_registry_detach_negative

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