Bump CBMC to 5.64.0 (rust-lang#1560)

Author: zhassan-aws

kani-dependencies

@@ -1,3 +1,3 @@
-CBMC_VERSION="5.63.0"
+CBMC_VERSION="5.64.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.6"

scripts/kani-regression.sh

@@ -19,7 +19,7 @@ KANI_DIR=$SCRIPT_DIR/..
 export KANI_FAIL_ON_UNEXPECTED_DESCRIPTION="true"
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 63
+check-cbmc-version.py --major 5 --minor 64
 check-cbmc-viewer-version.py --major 3 --minor 5
 
 # Formatting check