# This file marks this directory as containing a CBMC proof.