Name		Name	Last commit message	Last commit date
parent directory ..
benchmark		benchmark
post_processing		post_processing
README.md		README.md
benchmark.py		benchmark.py
configViz.py		configViz.py
configcp.py		configcp.py
cpa.bat		cpa.bat
cpa.sh		cpa.sh
cpa_witness2test.py		cpa_witness2test.py
cpachecker-cloud-internal		cpachecker-cloud-internal
cpachecker-cloud-web		cpachecker-cloud-web
cpachecker-cloud-web-witness		cpachecker-cloud-web-witness
generate-buildbot-table.sh		generate-buildbot-table.sh
generate_coverage.py		generate_coverage.py
mpi_portfolio.py		mpi_portfolio.py
table-generator.py		table-generator.py

README.md

Start Scripts

The following scripts are deprecated and users should switch to their replacements in the ../bin directory. For full documentation on how to execute CPAchecker cf. the README in main directory.

cpa.bat: replaced by ../bin/cpachecker.bat
cpa.sh: replaced by ../bin/cpachecker
cpa_witness2test.py: replaced by ../bin/cpa-witness2test

Benchmarking Scripts

(an extension of BenchExec)

benchmark.py: for benchmarking collections of runs (c.f. doc/Benchmark.md)
table-generator.py: Creates HTML and CSV tables that contain the output of several benchmark.py runs. Also creates tables with just those results differing between two or more runs. As params you can either give names of result files or run the script without params (result files will be searched in test/results/).

Post-processing

generate_coverage.py: Computes a coverage under-approximation that complements the one already reported by CPAchecker (cf. the respective README).

Other Utilities

generate-buildbot-table.sh: Create and show a table with results from BuildBot.