Update CBMC version check to 5.30.0 (fix #164) #166

Co-authored-by: Alexa VanHattum <avanhatt@amazon.com>
Update version check and print expected version in warning message.

Author: 2 people

scripts/check-cbmc-version.py

@@ -47,7 +47,8 @@ def main():
 
     if desired_version > current_version:
         version_string = '.'.join([str(num) for num in current_version])
-        print(f'WARNING: CBMC version is {version_string}')
+        desired_version_string = '.'.join([str(num) for num in desired_version])
+        print(f'WARNING: CBMC version is {version_string}, expected at least {desired_version_string}')
         sys.exit(EXIT_CODE_MISMATCH)
 
 if __name__ == "__main__":

scripts/rmc-regression.sh

@@ -15,7 +15,7 @@ export PATH=$SCRIPT_DIR:$PATH
 EXTRA_X_PY_BUILD_ARGS="${EXTRA_X_PY_BUILD_ARGS:-}"
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 18
+check-cbmc-version.py --major 5 --minor 30
 
 # Formatting check
 ./x.py fmt --check