next up previous contents
Next: Quick Start - The Up: Quick Start - Getting Previous: Configure options   Contents

Testing SBSAT

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:,,, Run any of these to test some aspect of the solver. For example, using the command

$ /bin/sh

results in the output of Figure [*].

Figure: Result of running the cnf tests in .../tests.
...- Sucess

John Franco 2011-09-15