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
Edit: I see there is a short blurb at the top of the repo readme but its easy to skip over it as its at the end of the intro section; a seperate section for it would make it clearer.
The proof readme files copied into cbmc/proofs and cbmc/proofs/PROOFDIR are giving old instructions for how to install cbmc and run the proofs.
The text was updated successfully, but these errors were encountered: