Installation
Murxla is available on GitHub.
Building Murxla
git clone https://github.com/murxla/murxla.git
cd murxla
mkdir build
cmake ..
make
During the configuration phase (cmake ..
), the build system checks whether
any of the supported solvers are installed. Configure a custom solver
installation path <path>
via
cmake .. -DCMAKE_PREFIX_PATH=<path>
Alternatively, you can use the scripts/setup-solvers.sh
script to setup
solvers supported by Murxla.
By default the script will download and build all supported solvers. Please
refer to setup-solver.sh -h
for further options.
After successful compilation you can find the Murxla binary in build/bin/
.
Please refer to the User Guide for how to use Murxla.
Supported Solvers
Murxla currently has native integration for the following solvers:
Solvers without native integration can still be tested via the SMT-LIBv2
interface (option --smt2 <solver-binary>
).
Code Coverage Reports
Generating coverage reports requires lcov and fastcov. Make sure to install fastcov via pip.
Configure Murxla with
cmake .. -DGCOV=ON
and make sure that the relevant solvers are configured and built to produce coverage information.Prior to running Murxla, reset the coverage data via
make coverage-reset
Run Murxla for some time
Generate the coverage report via
make coverage
, which can be found incoverage/index.html
of the build directory.