From 993eb62bb8d3c60d6bd76833322e3d6e7938e634 Mon Sep 17 00:00:00 2001 From: Abc Xyz Date: Mon, 24 Jul 2023 16:12:16 +0300 Subject: [PATCH] fix(libafl): update Z3 dependency (#1372) See https://github.com/Z3Prover/z3/issues/5586. libafl with `cmin` feature cannot be built for Android. --- libafl/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libafl/Cargo.toml b/libafl/Cargo.toml index c267577381..8c2c4b978e 100644 --- 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 }