drv-bind-fails-restores-previous
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
An admin binds the sound card to vfio-pci; probes fail; the transaction unbinds it, rebinds snd_hda_intel, and makes no attempt at a generation rollback.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | boot_default: base; bound_driver: device:snd-hda0 snd_hda_intel; generation: base; others_unchanged: true; txn: device:snd-hda0 Reverted BindDriver, Revert; units: device:snd-hda0 Bound | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.