This directory is for tests where we -
 1) Run `goto-cc` on the specified input file, with the specified options.
 2) Run `cbmc` on the goto binary produced in step 1. Using the same options
    from the `.desc` file as were specified in step 1.
