Fixes exec-bound-3 failures

[pintos-anon] / src / tests / userprog / exec-bound-3.c

diff --git a/src/tests/userprog/exec-bound-3.c b/src/tests/userprog/exec-bound-3.c
index 67937c8ff0c8d94f70fa9052839fa60b419d6e78..41f1cd993cc0b347e7ce73544bf4eaf0ad2d843c 100644 (file)
--- a/src/tests/userprog/exec-bound-3.c
+++ b/src/tests/userprog/exec-bound-3.c
@@ -14,5 +14,15 @@ test_main (void)
   char *p = get_bad_boundary () - 1;
   *p = 'a';
   exec(p);
+
+  /* Note: if this test fails to pass even with the official solutions,
+     it's probably because memory layout has changed and p no longer
+     refers to the proper page boundary. To fix the problem, uncomment
+     the line below to print out the boundary address. In addition,
+     add a printf line in load_segment to print out the address range
+     of each segment. From that, you'll be able to figure out how to
+     modify get_bad_boundary to make things work again. */
+
+  // msg("boundary address: 0x%x", p);
   fail ("should have killed process");
 }