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: 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 [*].

Figure: Result of running the cnf tests in .../tests.
\begin{figure}\begin{verbatim}===========================================
Ch...
...- Sucess
===========================================\end{verbatim}
\end{figure}



John Franco 2011-09-15