Open Issues Need Help
View All on GitHub Automation • Workflow Automation
[Feature] Reruned tasks included in the report 28 days ago
AI Summary: Modify the `batch-tamarin` report generation functionality to include results from the `rerun/` subdirectory, ensuring that re-run tasks are incorporated into the final report. Consider potential conflicts if re-runs overwrite previous results.
Complexity:
3/5
enhancement good first issue PRIORITY 1
A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.
Python
#batch-processing#tamarin-prover