drv-unbound-nic-asks
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
virtio_net is unbound from net-gym0. Rebinding a NIC has ConnectivityLoss disruption, so the daemon’s BindDriver is parked AskFirst; after a TTY approval it runs.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | repair | others_unchanged: true; txn: device:net-gym0 Committed BindDriver; units: device:net-gym0 Bound | VM: not run in this build |
What it exercises
No invariant by name.