CROSSWIRE / configs /pilot-shield-openloop.json
Kai9987kai's picture
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
450ac2f verified
Raw History Blame Contribute Delete
303 Bytes
{
"families": ["extra_state", "incompatible", "alias", "semantic_corruption", "bypass", "delay", "repeat", "drift", "malformed"],
"seeds": [17, 23],
"budgets": [16],
"policies": ["task"],
"admissions": ["robust", "fit"],
"implementations": ["procedural"],
"split": "evaluation"
}