running 4 tests
test os_device_registry_driver_match_positive ... ok
test os_device_registry_identity_negative ... ok
test os_device_registry_identity_positive ... ok
test os_device_registry_driver_match_negative ... FAILED

failures:

---- os_device_registry_driver_match_negative stdout ----

thread 'os_device_registry_driver_match_negative' (48956000) panicked at <project>/reports/os-implementation/K1415-device-driver-match-local-EN76YN/mutant/kernel/tests/os/device_registry.rs:110:5:
assertion `left == right` failed
  left: Ok(DeviceHandle { slot: 1, generation: 1 })
 right: Err(UnsupportedDevice)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


failures:
    os_device_registry_driver_match_negative

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