radius2 1.0.21

a fast symbolic execution framework using r2
1
2
3
4
5
6

fn main() {
    // if we are building docs, don't build boolector vendor
    if std::env::var("DOCS_RS").is_ok() {
        println!("cargo:rustc-env=BOOLECTOR_NO_VENDOR=1");
    }
}