X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2FRubric.robustness;h=fb9f32fe2cd7880b0a8304f0e6fe0e9a19f5c2db;hb=59f738d500f51ffc5f487344865b8bed69c26281;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..fb9f32f 100644
--- a/src/tests/filesys/extended/Rubric.robustness
+++ b/src/tests/filesys/extended/Rubric.robustness
@@ -1,13 +1,9 @@
 Robustness of file system:
-
 1	dir-empty-name
 1	dir-open
 1	dir-over-file
 1	dir-under-file
 
-1	dir-rm-cd
-2	dir-rm-cwd-cd
+3	dir-rm-cwd
 2	dir-rm-parent
 1	dir-rm-root
-
-1	grow-too-big