{
  "all_passed": true,
  "llvm17": {
    "discovered": 314,
    "passed": 312,
    "unsupported": 2
  },
  "llvm18": {
    "discovered": 314,
    "passed": 313,
    "unsupported": 1
  },
  "oracles": {
    "cases_per_run": 128,
    "invalid_models_per_run": 0,
    "runs": 2,
    "status_mismatches_per_run": 0,
    "unique_child_pids_per_run": 128
  },
  "python": {
    "passed": 1205,
    "subtests_passed": 278
  },
  "related_python": {
    "passed": 43,
    "subtests_passed": 25
  },
  "sanitizer": {
    "oracle_cases": 32,
    "passed": true
  },
  "schema": "symcc-f430-full-suite-summary-v1",
  "targeted": {
    "lit_llvm17_passed": 1,
    "lit_llvm18_passed": 1,
    "python_passed": 8,
    "python_subtests_passed": 5
  }
}