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 c2ad63bcd052f807579a5de138f97726087b0a0e..4c5240e4ec73ba28dedc5c6c4da730d601779722 100755 (executable)
--- 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++;