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

diff --git a/src/tests/filesys/extended/Rubric.functionality b/src/tests/filesys/extended/Rubric.functionality
index b62bf43..94f7c2c 100644
--- a/src/tests/filesys/extended/Rubric.functionality
+++ b/src/tests/filesys/extended/Rubric.functionality
@@ -1,14 +1,12 @@
 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
@@ -25,4 +23,4 @@ Functionality of extended file system:
 1	grow-root-lg
 
 - Test writing from multiple processes.
-3	syn-rw	
+3	syn-rw