Constrained RAndom Verification Enviroment - CRAVE

Antmicro's fork of CRAVE.

Clone this repo recursively:

git clone --recursive <URL>

Configure with selected backends:

cmake -B <build_dir> -DmetaSMT_USE<backend>=ON

Available backends: Boolector, CUDD, CVC4, STP, Z3.

Build:

cmake --build <build_dir> -j<num_of_jobs>

Configure with tests enabled:

cmake -B <build_dir> -DmetaSMT_USE<backend>=ON -DCRAVE_ENABLE_TESTS=ON

Run tests:

ctest --test-dir <build_dir> -j<num_of_jobs>

Warning: The docs are currently out of date.