crash-checking
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
planariad is killed during Checking; the watchdog re-runs the probes itself before committing.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | boot_default: candidate; generation: candidate; journal_agrees: true; override_source: candidate; txn: Committed ApplyChange; watchdog_probed_before_commit: true | fake: PASS; VM: not run in this build |
What it exercises
No invariant by name.