Make tests public. Rewrite most tests. Add tests.
[pintos-anon] / grading / filesys / dir-rmdir.exp
diff --git a/grading/filesys/dir-rmdir.exp b/grading/filesys/dir-rmdir.exp
deleted file mode 100644 (file)
index 010c3e0..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-(dir-rmdir) begin
-(dir-rmdir) mkdir "a"
-(dir-rmdir) rmdir "a"
-(dir-rmdir) chdir "a" (must return false)
-(dir-rmdir) end