storage-budget-unsatisfiable
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The generation budget is set below the size of the protected set. GC collects everything unprotected, reports BudgetUnsatisfiable with the shortfall, and never touches the protected set.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | gc_protected: known_good, base, previous; reports: BudgetUnsatisfiable | fake: PASS; VM: not run in this build |