X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-under-file.c;h=973a8b1e9b3703db11aba83071d2d3f2c79bdfb4;hb=735ac4b8d255f4d1cf8cebaeb3a6a724ea3df008;hp=88a633b8ee2789c5785d5a2edc5db96698b8c67c;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon diff --git a/src/tests/filesys/extended/dir-under-file.c b/src/tests/filesys/extended/dir-under-file.c index 88a633b..973a8b1 100644 --- a/src/tests/filesys/extended/dir-under-file.c +++ b/src/tests/filesys/extended/dir-under-file.c @@ -1,3 +1,6 @@ +/* Tries to create a directory with the same name as an existing + file, which must return failure. */ + #include #include "tests/lib.h" #include "tests/main.h"