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

diff --git a/src/tests/filesys/extended/Rubric.functionality b/src/tests/filesys/extended/Rubric.functionality
index 83e6e5f..b62bf43 100644
--- a/src/tests/filesys/extended/Rubric.functionality
+++ b/src/tests/filesys/extended/Rubric.functionality
@@ -1,7 +1,5 @@
 Functionality of extended file system:
-
 - Test directory support.
-
 1	dir-mkdir
 2	dir-mk-vine
 3	dir-mk-tree
@@ -13,7 +11,6 @@ Functionality of extended file system:
 1	dir-lsdir
 
 - Test file growth.
-
 1	grow-create
 1	grow-seq-sm
 2	grow-seq-lg
@@ -23,11 +20,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