{
  "revision": "ee18da511fb59b8f19a23dd1240fbcc234afc420",
  "jdk": "javac 11.0.32.1",
  "sourceSha256": "5d370210577f84b07d888d6456c0f994aa5d3103b1b690bd9ad35883b172c5b7",
  "configSha256": "e8cb3d45fcc704c37a81fa1e2f7f5c8fcd6fcb4a31d5a24a025cd83f50d14612",
  "cases": [
    {
      "name": "unsafe",
      "outcome": "counterexample",
      "started": true,
      "finished": true,
      "constraints": 0,
      "violations": 1
    },
    {
      "name": "safe",
      "outcome": "complete-within-model",
      "started": true,
      "finished": true,
      "constraints": 0,
      "violations": 0
    },
    {
      "name": "bounded",
      "outcome": "incomplete",
      "started": true,
      "finished": true,
      "constraints": 1,
      "violations": 0
    },
    {
      "name": "invalid-target",
      "outcome": "incomplete",
      "started": false,
      "finished": false,
      "constraints": 0,
      "violations": 0
    }
  ]
}