X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2FRubric.functionality;h=94f7c2ce1e66afbd023a14e5258bb1b95265e57b;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=83e6e5f5b6900c7f2e5c6ee2525b93dd838be102;hpb=a705e9ae16e14e24d313916a0c5402e175f8cce5;p=pintos-anon

diff --git a/src/tests/filesys/extended/Rubric.functionality b/src/tests/filesys/extended/Rubric.functionality
index 83e6e5f..94f7c2c 100644
--- 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