A series of regression tests may be run by issuing the following command
while in the root directory of the SBSAT tree:
$ make check
To run any of these tests individually, change to the tests directory in the SBSAT directory using the following
$ cd .../tests
where ... is replaced by the path of the root directory of the SBSAT tree. In this directory check that the following files are there: cnf_tests.sh, longer_tests.sh, trace_tests.sh, xor_tests.sh. Run any of these to test some aspect of the solver. For example, using the command
$ /bin/sh cnf_tests.sh
results in the output of Figure .