Execution command

This script executes Specimin on various bugs reported in checker frameworks and java JDK and records the execution status.

python main.py

Name		Name	Last commit message	Last commit date
Latest commit History 253 Commits
.github/workflows		.github/workflows
ashe_scripts		ashe_scripts
resources		resources
.gitignore		.gitignore
Keyvalue.py		Keyvalue.py
README.md		README.md
Result.py		Result.py
TestMain.py		TestMain.py
check_compilation.bat		check_compilation.bat
check_compilation.sh		check_compilation.sh
code_line.py		code_line.py
differences-between-specimin-and-perses.md		differences-between-specimin-and-perses.md
exception_data.py		exception_data.py
exclusions.md		exclusions.md
main.py		main.py
report_builder.py		report_builder.py
try-all.sh		try-all.sh

Provide feedback