X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpt-grow-bad.c;h=d4beba22ff50e06ff6a31bc4783061ce2abd92b3;hb=843dc0b0675db989ffa0c953ca71b211a57eed9c;hp=d83890fb7c0252579d38c6fff77015d6d6e67a86;hpb=904bbd629ed1f83393e3ab8e6aa0b69e4d52c11e;p=pintos-anon

diff --git a/src/tests/vm/pt-grow-bad.c b/src/tests/vm/pt-grow-bad.c
index d83890f..d4beba2 100644
--- a/src/tests/vm/pt-grow-bad.c
+++ b/src/tests/vm/pt-grow-bad.c
@@ -1,3 +1,6 @@
+/* Read from an address 4,096 bytes below the stack pointer.
+   The process must be terminated with -1 exit code. */
+
 #include <string.h>
 #include "tests/arc4.h"
 #include "tests/cksum.h"
@@ -7,7 +10,5 @@
 void
 test_main (void)
 {
-  /* Read from an address 4,096 bytes below the stack pointer.
-     Must kill the program. */
   asm volatile ("movl -4096(%esp), %eax");
 }