More filesys tests.

[pintos-anon] / grading / filesys / dir-rmdir.exp

diff --git a/grading/filesys/dir-rmdir.exp b/grading/filesys/dir-rmdir.exp
new file mode 100644 (file)
index 0000000..010c3e0
--- /dev/null
+++ b/grading/filesys/dir-rmdir.exp
@@ -0,0 +1,5 @@
+(dir-rmdir) begin
+(dir-rmdir) mkdir "a"
+(dir-rmdir) rmdir "a"
+(dir-rmdir) chdir "a" (must return false)
+(dir-rmdir) end