Installing SeaHorn

Feel home!

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 ../
• (optional) cmake --build . --target extra to download extra packages
• cmake --build . to build dependencies (Z3 and LLVM)
• (optional) cmake --build . to build extra packages (crab-llvm)
• cmake --build . to build seahorn
• cmake --build . --target install to install everything in run directory

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.