Updating install message to describe how to get the regression tests.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@80 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/INSTALL b/INSTALL
index 549df9e8ab2b7f30ca66743004c8d445c478f1ea..7f8f181235c309b18528e5e1ce2ad49ec6168b83 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -4,9 +4,13 @@
 make
 make install
 
-2. To test the system after installation:
+2. To test the system after installation, you will need to download the regression tests. The regression are 190MB big, so are stored separately. To download them, try something like:
 
-make regressall
+svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests/test
+
+The directory of the regression tests is hard-coded in /bin/run_tests, which you may need to update, depending on where you checkout the regression tests to.
+
+To run the regression tests: make regressall
 
 NB:
 * If you want to compile a statically linked version of STP, run ./liblinks.sh after the configure script, and then compile adding STATIC=true to the make commands.