git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/clean-install.sh b/clean-install.sh
index f9355da83674f41f3ee8da02d9287220410b51a8..6dfebb9ace6aab7a489888661802e8e5752939d3 100755 (executable)
--- 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 7eaacadb6b49cc2c2b5e892ef89cddff5ce1046f..2cdf6e371dd4c4368d26e877eba79eec0aa882ed 100755 (executable)
--- 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);
 }