SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix(libafl): update Z3 dependency (#1372)

Browse Source 
See https://github.com/Z3Prover/z3/issues/5586. libafl with `cmin` feature cannot be built for Android.
This commit is contained in:
Abc Xyz 2023-07-24 16:12:16 +03:00 committed by GitHub
parent 81e9a9a60f
commit 993eb62bb8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libafl/Cargo.toml
View File

@ -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 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"] } pyo3 = { version = "0.18.3", optional = true, features = ["serde", "macros"] }
concat-idents = { version = "1.1.3", optional = true } concat-idents = { version = "1.1.3", optional = true }