crash-stop-and-suppress
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Killed during a user’s StopAndSuppress. It recovers as a unit operation: the override (journaled before the stop) holds, the unit is not restarted, and no generation rollback is attempted.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | generation: base; overrides: service:gym-web; txn: Committed StopAndSuppress, Revert, service:gym-web RestartUnit; units: service:gym-web Overridden | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.