From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 14 Aug 2009 17:11:05 +0000 (+0000)
Subject: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=1a84f5388a0b6f34ca61277e27e8addca8eadc04;p=francis%2Fstp.git

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

diff --git a/clean-install.sh b/clean-install.sh
index f9355da..6dfebb9 100755
--- a/clean-install.sh
+++ b/clean-install.sh
@@ -17,7 +17,7 @@ while [ $# -gt 0 ]; do
 done
 
 
-./make-scripts/configure --with-prefix=$PREFIX
+./scripts/configure --with-prefix=$PREFIX
 make clean
 make
 make install
diff --git a/scripts/run_smt_tests.pl b/scripts/run_smt_tests.pl
index 7eaacad..2cdf6e3 100755
--- a/scripts/run_smt_tests.pl
+++ b/scripts/run_smt_tests.pl
@@ -84,6 +84,20 @@ my %optionsDefault = ("level" => 4,
 		      # Additional command line options to stp
 		      "stpOptions" => "-d -f");
 
+# Database of command line options.  Initially, they are undefined
+my %options = ();
+
+# The list of testcases to run
+#
+my @testcases = "../../stp-tests/smt-test";
+my @testcases1 = "../../stp-tests/smt-test/QF_AUFBV";
+# Temporary array for STP options
+my @stpOptions = ();
+
+# State is either "own" or "stp", meaning that we're reading either
+# our own or stp's options.
+my $argState = "own";
+
 if($#stpOptions >= 0) {
     $options{'stpOptions'} = join(" ", map { "\"" . $_ . "\"" } @stpOptions);
 }