Reduce CBMC verbosity to CBMC's default - #3398

Reduce CBMC verbosity to CBMC's default#3398

tautschnig wants to merge 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:lower-cbmc-verbositytautschnig/kani:lower-cbmc-verbosityCopy head branch name to clipboard