More filesys tests.

[pintos-anon] / grading / filesys / dir-rm-cwd.exp

diff --git a/grading/filesys/dir-rm-cwd.exp b/grading/filesys/dir-rm-cwd.exp
new file mode 100644 (file)
index 0000000..ae91c54
--- /dev/null
+++ b/grading/filesys/dir-rm-cwd.exp
@@ -0,0 +1,6 @@
+(dir-rm-cwd) begin
+(dir-rm-cwd) mkdir "a"
+(dir-rm-cwd) chdir "a"
+(dir-rm-cwd) remove "/a" (must not crash)
+(dir-rm-cwd) create "b" (must not crash)
+(dir-rm-cwd) end