Add file system persistence tests:

[pintos-anon] / src / tests / filesys / extended / Rubric.robustness

diff --git a/src/tests/filesys/extended/Rubric.robustness b/src/tests/filesys/extended/Rubric.robustness
index 9ac7ae052d0daa81fd9c67caef07f7580c3ee6c9..fb9f32fe2cd7880b0a8304f0e6fe0e9a19f5c2db 100644 (file)
--- 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