Mark cbmc version 5.33.0 in `src/config.inc`.#6203

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:new_cbmc_5.33.0NlightNFotis/cbmc:new_cbmc_5.33.0Copy head branch name to clipboard