Add more tests, results.

[pintos-anon] / grading / filesys / dir-rm-cwd-cd.c

diff --git a/grading/filesys/dir-rm-cwd-cd.c b/grading/filesys/dir-rm-cwd-cd.c
index fe3febdf39f26b86c111ad42f4819731d5bb83d9..f1916fbe1ccf6f5db93618ab1e558baf48aac3d2 100644 (file)
--- a/grading/filesys/dir-rm-cwd-cd.c
+++ b/grading/filesys/dir-rm-cwd-cd.c
@@ -10,7 +10,8 @@ test_main (void)
   check (chdir ("a"), "chdir \"a\"");
   msg ("remove \"/a\" (must not crash)");
   if (remove ("/a"))
-    check (!chdir ("/a"), "chdir \"/a\" (remove succeeded so this must fail)");
+    check (!chdir ("/a"),
+           "chdir \"/a\" (remove succeeded so this must return false)");
   else
     check (chdir ("/a"), "chdir \"/a\" (remove failed so this must succeed)");
 }