X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Ffilesys%2Fdir-under-file.exp;fp=grading%2Ffilesys%2Fdir-under-file.exp;h=8bbdca770eed3fd46b0b92b3dbc0f5a826931186;hb=0f5c19ccf179b35b39ae46dffec60592baeeec00;hp=0000000000000000000000000000000000000000;hpb=943ba319b3bea3c187072c261a76c26eaa933537;p=pintos-anon

diff --git a/grading/filesys/dir-under-file.exp b/grading/filesys/dir-under-file.exp
new file mode 100644
index 0000000..8bbdca7
--- /dev/null
+++ b/grading/filesys/dir-under-file.exp
@@ -0,0 +1,4 @@
+(dir-under-file) begin
+(dir-under-file) create "abc"
+(dir-under-file) mkdir "abc" (must return false)
+(dir-under-file) end