Currently, there are two supported ways of installing SeaHorn.
Build SeaHorn from source code:
cd seahorn ; mkdir build ; cd build
cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run ../
cmake --build . --target extrato download extra packages
cmake --build .to build dependencies (Z3 and LLVM)
cmake --build .to build extra packages (crab-llvm)
cmake --build .to build seahorn
cmake --build . --target installto install everything in
A common problem after installation is a mismatch between Clang and LLVM versions. SeaHorn installs LLVM 3.8 so make sure you SeaHorn can find Clang 3.8.
Use the Docker image:
Read about using SeaHorn with Docker here.