hangshuo652/cobol-java-v3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: P1 - complete_tests now feeds DataWriter; P2 - loop syncs complete_tests; P5 - machine_json gets coverage fields

Browse Source
This commit is contained in:
hangshuo652
2026-06-18 16:47:21 +08:00
parent c93104e6bf
commit 2e64f208ea
2 changed files with 33 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
report/generator.py
+6 -1
View File
@@ -95,6 +95,11 @@ table{{border-collapse:collapse}} td,th{{padding:6px 12px}}
def generate_machine_json(self, run: VerificationRun, p: Path) -> Path:
d = {"program": run.program, "status": run.status, "exit_code": run.exit_code,
"timestamp": run.timestamp, "duration_s": run.duration_s, "runner": run.runner}
"timestamp": run.timestamp, "duration_s": run.duration_s, "runner": run.runner,
"branch_rate": run.branch_rate, "paragraph_rate": run.paragraph_rate,
"decision_rate": run.decision_rate, "quality_score": run.quality_score,
"hina_type": run.hina_type, "hina_confidence": run.hina_confidence,
"heal_retry": run.heal_retry, "simple_retry": run.simple_retry,
"total_retry": run.total_retry}
p.write_text(json.dumps(d))
return p