-
Notifications
You must be signed in to change notification settings - Fork 21
CBMC starter kit makefile
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.