From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 26 Apr 2010 05:12:49 +0000 (+0000)
Subject: Use gunzip so that we can run tests that are gzipped.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=2f19149ce2267ba97b262e0cb35c222a8090315b;p=francis%2Fstp.git

Use gunzip so that we can run tests that are gzipped.



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

diff --git a/scripts/run_tests.pl b/scripts/run_tests.pl
index c2ad63b..4c5240e 100755
--- a/scripts/run_tests.pl
+++ b/scripts/run_tests.pl
@@ -278,7 +278,7 @@ foreach my $testcase (@testcases) {
 	opendir(TESTS, $testcase)
 	    or die "Cannot open directory $testcase: $?";
 	@testcasesTmp = grep {
-	    /[.]([sc]vcl?|li?sp|smt)$/ && -f "$testcase/$_" } readdir(TESTS);
+	    /[.]([sc]vcl?|li?sp|smt|)([.]gz)?$/ && -f "$testcase/$_" } readdir(TESTS);
 	closedir TESTS;
 	@testcasesTmp = map { "$testcase/$_" } @testcasesTmp;
     } else {
@@ -355,12 +355,12 @@ foreach my $testcase (@testcases) {
 	my $timing = ($verbose)? "time " : "";
 	if($verbose) {
 	    print "***\n";
-	    print "Running $stp $stpArgs < $file\n";
+	    print "Running gunzip -f --stdout $file | $timing $stp $stpArgs  $logging \n";
 	    print "***\n";
 	}
 	my $time = time;
 	# Now, run the sucker
-	my $exitVal = system("$limits; $timing $stp $stpArgs < $file $logging");
+	my $exitVal = system("$limits; gunzip -f --stdout $file | $timing $stp $stpArgs  $logging");
 	$time = time - $time;
 	# OK, let's see what happened
 	$testsTotal++;