From ab474b432752684cd3beb732edf29b67de063bee Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 13 May 2010 14:26:32 +0000 Subject: [PATCH] Delete an unnecessary copy of c_interface.h, ammend the README to suggest updating the TEST_PREFIX> git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@766 e59a4935-1847-0410-ae03-e826735625c1 --- README | 11 +++++------ include/stp/c_interface.h | 1 - 2 files changed, 5 insertions(+), 7 deletions(-) delete mode 120000 include/stp/c_interface.h diff --git a/README b/README index 85591d9..d0cc1b2 100644 --- a/README +++ b/README @@ -2,7 +2,7 @@ /******************************************************************** * PROGRAM NAME: STP (Simple Theorem Prover) * - * AUTHORS: Vijay Ganesh + * AUTHORS: Vijay Ganesh, Trevor Hansen * * BEGIN DATE: November, 2005 * @@ -53,10 +53,9 @@ Assumes you have downloaded the testcases as follows: svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests +You may need to update the TEST_PREFIX in scripts/Makefile.common, to point to the +directory in which you checked out the test cases. Some test cases have fixed timeouts, +depending on your machine's speed, some test cases may "fail" because they do not +finish within the timeout. Such timeout failures are unlikely to be a serious problem. -make regresssmt -make regresscvc -make regresscapi -make regressbigarray -make regressstp make regressall diff --git a/include/stp/c_interface.h b/include/stp/c_interface.h deleted file mode 120000 index 68bfb2e..0000000 --- a/include/stp/c_interface.h +++ /dev/null @@ -1 +0,0 @@ -../../src/c_interface/c_interface.h \ No newline at end of file -- 2.47.3