The SUT-G Generator

SUT-G is a System Under Test (SUT) generator. It uses a SAT instance as input to generate the constraints of the SUT, which will be an adapted subproblem of the SAT instance.

Given a SAT instance sat.cnf we can generate a SUT with 10 parameters of domain 2 with the following command:

ctlog gen sat.cnf --timeout 60 --num-params 10 --out sut.extacts

The SUT-G generator output the SUT in the Extended ACTS format.

For a complete list of all the available parameters for the SUT-G generator see the CLI Reference.