X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ftests.pm;h=e8cb4230af8d4639f7f06e4bfe4ae398e53deb6b;hb=1d5faa37e50168451e815ab2c40b215a62485b07;hp=e167cf5d835d9604421e7aab4c24869da9e81fdc;hpb=9750868b9c1fc53f2ac25bd7fe0f6152cc55ff03;p=pintos-anon

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index e167cf5..e8cb423 100644
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -112,6 +112,8 @@ sub check_for_triple_fault {
     print <<EOF;
 \u$run spontaneously rebooted $reboots times.
 This is most often caused by unhandled page faults.
+Read the Triple Faults section in the Debugging chapter
+of the Pintos manual for more information.
 EOF
 
     fail;