Fix. Look for fatal errors when running tests.

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

diff --git a/scripts/run_tests.pl b/scripts/run_tests.pl
index 91981eee138115e88b208c815b0ec6c5652555fa..c657368cc0d5343f72d635571bab469b07c615f2 100755 (executable)
--- a/scripts/run_tests.pl
+++ b/scripts/run_tests.pl
@@ -408,7 +408,7 @@ foreach my $testcase (@testcases) {
 
            # STP exit value may be masked by the shell pipe.  Fish it
            # out from the output
-           if($str =~ /^(Interrupted|Segmentation|Bus error|Floating point exception|.*exception)/) {
+           if($str =~ /^(Interrupted|Segmentation|Fatal Error|Bus error|Floating point exception|.*exception)/) {
                $exitVal = $1;
            }
            if($str =~ /^(\*|\s)*((parse\s+)?[Ee]rror)/) {