X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2FRubric.robustness;h=2f58ca8781319f30cbc6a4e8abfa50b691181187;hb=e93173cb6444e79e3d88318b3864496cb1f3bb96;hp=9ac7ae052d0daa81fd9c67caef07f7580c3ee6c9;hpb=a705e9ae16e14e24d313916a0c5402e175f8cce5;p=pintos-anon

diff --git a/src/tests/filesys/extended/Rubric.robustness b/src/tests/filesys/extended/Rubric.robustness
index 9ac7ae0..2f58ca8 100644
--- a/src/tests/filesys/extended/Rubric.robustness
+++ b/src/tests/filesys/extended/Rubric.robustness
@@ -1,11 +1,10 @@
 Robustness of file system:
-
 1	dir-empty-name
 1	dir-open
 1	dir-over-file
 1	dir-under-file
 
-1	dir-rm-cd
+1	dir-rm-cwd
 2	dir-rm-cwd-cd
 2	dir-rm-parent
 1	dir-rm-root