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