GitHub - martinhruska/svcomp_script: SV-COMP scripts

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
cpa_check_false.sh		cpa_check_false.sh
cpa_check_heap.sh		cpa_check_heap.sh
cpa_witness_wrapper.sh		cpa_witness_wrapper.sh
eval-res.py		eval-res.py
get-false.py		get-false.py
get-problems.py		get-problems.py
run_category.sh		run_category.sh
run_gcc.sh		run_gcc.sh
run_gcc_heap.sh		run_gcc_heap.sh
run_gcc_mem.sh		run_gcc_mem.sh
run_heap.sh		run_heap.sh
run_mem.sh		run_mem.sh
run_tests.sh		run_tests.sh
test_wrapper.py		test_wrapper.py