Run tests with the .smt2 extension.

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

diff --git a/scripts/run_tests.pl b/scripts/run_tests.pl
index 92caf91697216a075ccc1e8e0bbac30d3a25fc39..2704f61e53b7f882ca2e2e27e725795119b7a759 100755 (executable)
--- a/scripts/run_tests.pl
+++ b/scripts/run_tests.pl
@@ -282,7 +282,7 @@ foreach my $testcase (@testcases) {
        opendir(TESTS, $testcase)
            or die "Cannot open directory $testcase: $?";
        @testcasesTmp = grep {
-           /[.]([sc]vcl?|li?sp|smt|)([.]gz)?$/ && -f "$testcase/$_" } readdir(TESTS);
+           /[.]([sc]vcl?|li?sp|smt|smt2)([.]gz)?$/ && -f "$testcase/$_" } readdir(TESTS);
        closedir TESTS;
        @testcasesTmp = map { "$testcase/$_" } @testcasesTmp;
     } else {
@@ -340,11 +340,15 @@ foreach my $testcase (@testcases) {
        mkdir $tmpdir or die "Cannot create directory $tmpdir: $?";
        chdir $tmpdir or die "Cannot chdir to $tmpdir: $?";
 
-       # If the filename contains ".smt", then tell stp to use the SMT-LIB parser.
+       # If the filename contains ".smt.gz", then tell stp to use the SMT-LIB parser.
        my $stpArgs ="";
-       if($file =~ m/\.smt/)
+       if($file =~ m/\.smt(\.gz)?$/)
        {
-               $stpArgs = "-m";
+               $stpArgs = "--SMTLIB1";
+       }       
+       if($file =~ m/\.smt2(\.gz)?$/)
+       {
+               $stpArgs = "--SMTLIB2";
        }       
 
        # push @stpArgs, ($checkProofs)? "+proofs" : "-proofs";