update default z3 version to 4.13.0 and fix the runtime version check

source/air/src/smt_verify.rs

@@ -183,7 +183,7 @@ pub(crate) fn smt_check_assertion<'ctx>(
             if let Some(expected_version) = &context.expected_solver_version {
                 let value: &str = &line[GET_VERSION_RESPONSE_PREFIX.len()..line.len() - 1];
                 let version = value.trim_matches(&[' ', '"'][..]);
-                if version != expected_version.as_str() {
+                if !version.starts_with(expected_version.as_str()) {
                     diagnostics.report(
                         &context
                             .message_interface

source/tools/get-z3.ps1

@@ -1,4 +1,4 @@
-$z3_version = "4.12.5"
+$z3_version = "4.13.0"
 $filename = "z3-$z3_version-x64-win"
 
 $download_url = "https://github.com/Z3Prover/z3/releases/download/z3-$z3_version/$filename.zip"

source/tools/get-z3.sh

@@ -1,6 +1,7 @@
 #! /bin/bash -eu
 
-z3_version="4.12.5"
+# Should keep track of verus/tools/common/consts.rs
+z3_version="4.13.0"
 
 if [ `uname` == "Darwin" ]; then
     if [[ $(uname -m) == 'arm64' ]]; then

tools/common/consts.rs

@@ -1,2 +1,2 @@
-pub const EXPECTED_Z3_VERSION: &str = "4.12.5";
+pub const EXPECTED_Z3_VERSION: &str = "4.13.0";
 pub const EXPECTED_CVC5_VERSION: &str = "1.1.2";