X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-empty-name.c;h=c4859d20c77ec296f9cbcbb87d3419b1bb9c6eed;hb=8c839323e2f1c3f6243cdc49ceffed7483368447;hp=d1f5132c7f54b6671f9c435a03e1e4dc2bd995e7;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/filesys/extended/dir-empty-name.c b/src/tests/filesys/extended/dir-empty-name.c index d1f5132..c4859d2 100644 --- a/src/tests/filesys/extended/dir-empty-name.c +++ b/src/tests/filesys/extended/dir-empty-name.c @@ -1,3 +1,6 @@ +/* Tries to create a directory named as the empty string, + which must return failure. */ + #include #include "tests/lib.h" #include "tests/main.h" @@ -5,5 +8,5 @@ void test_main (void) { - CHECK (!create ("", 0), "create \"\" (must return false)"); + CHECK (!mkdir (""), "mkdir \"\" (must return false)"); }