You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Mark Tuttle edited this page Oct 29, 2020
·
2 revisions
Each proof directory contains a proof Makefile. For the function FUNCTION, the directory cbmc/proofs/FUNCTION contains a file Makefile. The script setup-proof.py installs a blank template for this file, and the proof writer fills it in.