Automatic upgrade of CBMC from 6.3.1 to 6.4.0#3689

qinheping merged 2 commits intomainmodel-checking/kani:mainfrom

cbmc-6.4.0model-checking/kani:cbmc-6.4.0Copy head branch name to clipboard