InstallationΒΆ

There are several ways to obtain and install ddSMT. If you just want to use a stable version of ddSMT use

$ pip3 install ddsmt
$ ddsmt --version

If you are interested in a specific version of ddSMT (including development versions) use the following commands to list available versions and install a specific one:

$ pip3 install ddsmt==
$ pip3 install ddsmt==<version>

To install the latest version of ddSMT, corresponding to the latest version from master (whose CI builds worked), use pip as follows:

$ pip3 install --force-reinstall --pre ddsmt

If you want to experiment with ddSMT, for example to test custom mutators, clone ddSMT from github and run it from your working copy:

$ git clone https://github.com/ddsmt/ddSMT.git
$ ddSMT/bin/ddsmt --version