Update to CBMC 6.3.1 and fix auto-update script#3537

tautschnig merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:cbmc-6.3.1tautschnig/kani:cbmc-6.3.1Copy head branch name to clipboard