diff --git a/scripts/check-cbmc-version.py b/scripts/check-cbmc-version.py
index c5eab54766de..14ed47cfa1ab 100755
--- a/scripts/check-cbmc-version.py
+++ b/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__":
diff --git a/scripts/rmc-regression.sh b/scripts/rmc-regression.sh
index 2ce03a7ba20c..a562f0f9fdbf 100755
--- a/scripts/rmc-regression.sh
+++ b/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