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 206 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.sh		check_compilation.sh
code_line.py		code_line.py
exception_data.py		exception_data.py
main.py		main.py
report_builder.py		report_builder.py
try-all.sh		try-all.sh

Provide feedback