Fix treatment of timeouts in run-tests and pintos.

[pintos-anon] / grading / vm / pt-write-code.c

diff --git a/grading/vm/pt-write-code.c b/grading/vm/pt-write-code.c
index 6954ddf6868a9bdf5c3fc1731cc3d89c26dc4133..1b9b4a8f99f9721941d29711a993be4da7a01c04 100644 (file)
--- a/grading/vm/pt-write-code.c
+++ b/grading/vm/pt-write-code.c
@@ -5,6 +5,7 @@ main (void)
 {
   printf ("(pt-write-code) begin\n");
   *(int *) main = 0;
+  printf ("(pt-write code) fail: writing the code segment succeeded\n");
   printf ("(pt-write-code) end\n");
   return 0;
 }