policy-daemon-wifi-runtime
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The selected AP (gym-ap-a) goes away while gym-ap-b is known. The diagnoser’s SetRuntimeOption Wi-Fi selection has ConnectivityLoss disruption, so it is AskFirst and does not run.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | txn: SetRuntimeOption | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.