Add file system persistence tests:

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

diff --git a/src/tests/filesys/extended/Rubric.functionality b/src/tests/filesys/extended/Rubric.functionality
index 83e6e5f5b6900c7f2e5c6ee2525b93dd838be102..94f7c2ce1e66afbd023a14e5258bb1b95265e57b 100644 (file)
--- a/src/tests/filesys/extended/Rubric.functionality
+++ b/src/tests/filesys/extended/Rubric.functionality
@@ -1,19 +1,14 @@
 Functionality of extended file system:
-
 - Test directory support.
-
 1      dir-mkdir
-2      dir-mk-vine
 3      dir-mk-tree
 
 1      dir-rmdir
-2      dir-rm-vine
 3      dir-rm-tree
 
-1      dir-lsdir
+5      dir-vine
 
 - Test file growth.
-
 1      grow-create
 1      grow-seq-sm
 2      grow-seq-lg
@@ -23,11 +18,9 @@ Functionality of extended file system:
 1      grow-file-size
 
 - Test directory growth.
-
 1      grow-dir-lg
 1      grow-root-sm
 1      grow-root-lg
 
 - Test writing from multiple processes.
-
-3      syn-rw  
+3      syn-rw