This repository combines all the various tools and libraries needed for building super_prove.


Recent builds should be available at our downloads page.

How to build this tool


  • CMake 3.3 or above
  • Ninja build tool
  • g++ 4.8 or above (or clang with similar levels of C++11 support)
  • Python 2.7 with development headers and libraries
  • Python setuptools
  • Mercurial

For example, in Ubuntu 16.04, run the following command to satisfy all the requirements:

sudo apt-get install cmake ninja-build g++ python-dev python-setuptools mercurial

Note that the version of CMake included in previous Ubuntu releases is too old. This requires CMake 3.3 or later to be manually installed.

Checking out the code

This repository uses Mercurial subrepositories to collect a few repositories with the code required to build this tool

hg clone

This will checkout all the relevant subrepositories

Building the tool

Create a build directory:

mkdir build

Change into the new directory:

cd build


cmake -DCMAKE_BUILD_TYPE=Release -G Ninja ..

(replace .. with the top-level featrues_build directory)



Create a package:

ninja package

This will create a super_prove_<version>-<OS>-Release.tar.gz in the build directory.

How to run this tool

Extract the .tar.gz file and runRun the script in the bin subdirectory

super_prove/bin/ [-n] <>

Try the --help flag to see the available options.