From 2f19149ce2267ba97b262e0cb35c222a8090315b Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 26 Apr 2010 05:12:49 +0000 Subject: [PATCH] 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 --- scripts/run_tests.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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++; -- 2.47.3