Mark cbmc version 5.32.0 in `src/config.inc`#6166

Merged

NlightNFotis merged 1 commit intodiffblue:developfrom

NlightNFotis:cbmc-5.32.0

Jun 10, 2021

Commits on Jun 10, 2021

Mark cbmc version 5.32.0 in `src/config.inc`.
NlightNFotis
committed