From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 23 May 2009 14:37:26 +0000 (+0000)
Subject: Updating install message to describe how to get the regression tests.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=1e7ed243f55a59117e73079967b4f1752d026d4e;p=francis%2Fstp.git

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 549df9e..7f8f181 100644
--- 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.