1CBMC proof source code 2====================== 3 4This directory contains source code written for CBMC proofs. It is 5common to write some code to model aspects of the system under test, 6and this code goes here. 7
