From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Jun 2005 22:55:59 +0000 (+0000)
Subject: Don't print output for triple faults.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=75e8f37004ea2d42625c04ae3b633cdfc0380af4

Don't print output for triple faults.
---

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index 3c55741..2e3642c 100644
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -80,12 +80,6 @@ sub check_for_keyword {
     $kw_line =~ s/^\([^\)]+\)\s+//;
     print "$kw_line\n";
 
-    # Append output, eliminating uninteresting header and trailer info
-    # if possible.
-    my (@core) = get_core_output (@output);
-    @output = @core if @core;
-    print "Program output:\n\n" . join ('', map ("$_\n", @output));
-
     fail;
 }
 
@@ -96,18 +90,9 @@ sub check_for_triple_fault {
 
     print <<EOF;
 Pintos spontaneously rebooted during this test.
-This is most often caused by unhandled page faults.  Output from
-initial boot through the first reboot is shown below:
-
+This is most often caused by unhandled page faults.
 EOF
 
-    my ($i) = 0;
-    local ($_);
-    for (@output) {
-	print "  $_\n";
-	last if /Pintos booting/ && ++$i > 1;
-    }
-
     fail;
 }