svc-killed-defer-to-systemd
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
gym-restartful is killed; systemd restarts it itself; Planarian does not act.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | intent | no_txn_on: service:gym-restartful; others_unchanged: true; units: service:gym-restartful Running | VM: not run in this build |
What it exercises
No invariant by name.