Adjust proof tooling to support CBMC v6#178

tautschnig wants to merge 1 commit intoFreeRTOS:mainFreeRTOS/FreeRTOS-Cellular-Interface:mainfrom

tautschnig:cbmc-v6tautschnig/FreeRTOS-Cellular-Interface:cbmc-v6Copy head branch name to clipboard