git.stella-ops.org/bench/reachability-benchmark/cases/py/guarded-exec/outputs/coverage.json

{
  "files": {
    "src/app.py": {
      "lines_covered": [
        3,
        4,
        5,
        8,
        9,
        11
      ],
      "lines_total": 34
    }
  }
}