1This directory contains include files used by the CBMC proofs: 2* cbmc.h defines some macros used in the proof test harnesses 3
