fix(libafl): update Z3 dependency

See Z3Prover/z3#5586. libafl with `cmin` feature cannot be built for Android.
AFLplusplus · Jul 24, 2023 · 35fd4ff · 35fd4ff
1 parent f056347
commit 35fd4ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libafl/Cargo.toml b/libafl/Cargo.toml
@@ -100,7 +100,7 @@ tokio = { version = "1.28.1", optional = true, features = ["sync", "net", "rt",
 
 wait-timeout = { version = "0.2", optional = true } # used by CommandExecutor to wait for child process
 
-z3 = { version = "0.11", features = ["static-link-z3"], optional = true } # for concolic mutation
+z3 = { version = "0.12.0", features = ["static-link-z3"], optional = true } # for concolic mutation
 
 pyo3 = { version = "0.18.3", optional = true, features = ["serde", "macros"] }
 concat-idents = { version = "1.1.3", optional = true }