projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clarification.
[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 f1916fbe1ccf6f5db93618ab1e558baf48aac3d2..94bc0a38bd24448e320ae9d8cf5f1e2823b10c1e 100644
(file)
--- a/
grading/filesys/dir-rm-cwd-cd.c
+++ b/
grading/filesys/dir-rm-cwd-cd.c
@@
-6,12
+6,12
@@
const char test_name[] = "dir-rm-cwd-cd";
void
test_main (void)
{
void
test_main (void)
{
-
check
(mkdir ("a"), "mkdir \"a\"");
-
check
(chdir ("a"), "chdir \"a\"");
+
CHECK
(mkdir ("a"), "mkdir \"a\"");
+
CHECK
(chdir ("a"), "chdir \"a\"");
msg ("remove \"/a\" (must not crash)");
if (remove ("/a"))
msg ("remove \"/a\" (must not crash)");
if (remove ("/a"))
-
check
(!chdir ("/a"),
+
CHECK
(!chdir ("/a"),
"chdir \"/a\" (remove succeeded so this must return false)");
else
"chdir \"/a\" (remove succeeded so this must return false)");
else
-
check
(chdir ("/a"), "chdir \"/a\" (remove failed so this must succeed)");
+
CHECK
(chdir ("/a"), "chdir \"/a\" (remove failed so this must succeed)");
}
}