From 0fae66aab70789f84583338b1018be43ec0be465 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 24 May 2010 01:35:39 +0000
Subject: [PATCH] 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
---
 scripts/run_tests.pl | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/scripts/run_tests.pl b/scripts/run_tests.pl
index 92caf91..2704f61 100755
--- 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";
-- 
2.47.3