]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Revert the change to run_tests, I didn't mean to submit this.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 May 2011 01:57:12 +0000 (01:57 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 May 2011 01:57:12 +0000 (01:57 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1321 e59a4935-1847-0410-ae03-e826735625c1

scripts/run_tests.pl

index 25368d87a0d551458fc0a8c3767f54503ed9f78a..91981eee138115e88b208c815b0ec6c5652555fa 100755 (executable)
@@ -74,7 +74,7 @@ my %optionsDefault = ("level" => 4,
                      "proofs" => 0,
                      "lang" => "all",
                      "stppath" => "stp/bin",
-                     "vc" => $pwd . "/bin/stp -r -t -d", # Program names
+                     "vc" => $pwd . "/bin/stp -t -d", # Program names
                      #"vc" => "valgrind --leak-check=full /home/vganesh/stp/bin/stp", # Program names
                      "pfc" => "true",
                      "stptestpath" => "stp/test",
@@ -85,7 +85,7 @@ my %optionsDefault = ("level" => 4,
                      # Runtime limit; 0 = no limit
                      "time" => 180,
                      # Additional command line options to stp
-                     "stpOptions" => "-r -d");
+                     "stpOptions" => "-d");
 
 # Database of command line options.  Initially, they are undefined