Update version of the smt2utils package to pull in a fix that makes

the profiler more resilient to bogus proof traces from Z3
verus-lang · Jul 25, 2023 · a2e9259 · a2e9259
1 parent 98a04c4
commit a2e9259
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/source/Cargo.lock b/source/Cargo.lock
diff --git a/source/air/Cargo.toml b/source/air/Cargo.toml
@@ -9,7 +9,7 @@ edition = "2018"
 [dependencies]
 sise = "0.6.0"
 getopts = { git = "https://github.com/utaal/getopts.git", branch = "parse-partial" }
-z3tracer = { git = "https://github.com/verus-lang/smt2utils.git", rev = "0c666d21254c4aa4c0d7de93f16a80a478b162eb" }
+z3tracer = { git = "https://github.com/verus-lang/smt2utils.git", rev = "0ff31464e5f57bb102797bf13bedd1cd9dba914e" }
 serde = { version = "1", features = ["derive", "rc"] }
 indexmap = { version = "1" }
 yansi = "0.5"