Dominik Maier 8f8e74d670

Don't build z3 from source by default (and add static_z3 feature) (#1160) ...

* Reduce build times by using preinstaled z3

* fix env order

---------

Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>

2023-03-20 10:04:27 +01:00

..

examples/llmp_test

SimpleLogger API improvements, printing to stdout, timestamps (#1109)

2023-03-02 14:07:46 +01:00

src

Fix fuzzers after HasTestcase (#1123) (#1162)

2023-03-19 11:58:32 +09:00

build.rs

Remodelling Observers/Examples that rely on UB, API cleanups (#950)

2022-12-24 14:20:44 +01:00

Cargo.toml

Don't build z3 from source by default (and add static_z3 feature) (#1160)

2023-03-20 10:04:27 +01:00