Skip to content

Commit

Permalink
fix(libafl): update Z3 dependency (#1372)
Browse files Browse the repository at this point in the history
See Z3Prover/z3#5586. libafl with `cmin` feature cannot be built for Android.
  • Loading branch information
saruman9 authored Jul 24, 2023
1 parent 81e9a9a commit 993eb62
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion libafl/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }
Expand Down

0 comments on commit 993eb62

Please sign in to comment.