-
Create a build directory
$ mkdir build ; cd build
-
Configure with cmake
$ cmake \ -DCMAKE_C_COMPILER=clang-14 \ -DCMAKE_CXX_COMPILER=clang++-14 \ ../ -GNinja
-
Compile
$ ninja
or
$ cmake --build .
Compiled bitcode files are placed under build/jobs/<NAME>/llvm-ir/<NAME>.bc
-
Run all tests
$ ninja test
or
$ cmake --build . --target test
or
$ ctest
-
Run individual test
$ ctest -R <TEST_NAME>
To run all klee tests, the
<TEST_NAME>
is klee. -
Run individual file manually
$ klee [options] <BC_FILE>
The
<BC_FILE>
is located onbuild/jobs/<NAME>/llvm-ir/<NAME>.klee.ir/<NAME>.bc