Skip to content

CBMC starter kit run proofs script

Jump to bottom
Mark R. Tuttle edited this page Oct 28, 2020 · 1 revision

The script run-cbmc-proofs.py will run all proofs under the proof root.

For example,

cd ${PROOF_ROOT}
python3 ./run-cbmc-proofs.py

The script builds and checks all proofs concurrently and produce an elegant report summarizing the results. The path to the report is printed at the start and end of the script. You can load the report at the start of the script and reload it periodically to watch the progress of the proof checking.

Clone this wiki locally