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

{
  "files": {
    "src/app.py": {
      "lines_covered": [
        3,
        4,
        5,
        8,
        10
      ],
      "lines_total": 30
    }
  }
}