crash-activating-bad
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
planariad is killed during Activating of a bad candidate; the watchdog takes the lease, fences, confirms quiescence, and reverts.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | boot_default: base; generation: base; invariants: I6, I12, I15; journal_agrees: true; override_source: base; txn: Reverted ApplyChange; units: service:gym-web Running | fake: PASS; VM: not run in this build |