X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2FRubric.robustness;h=0b2552f29852e4e1121d99ddd8ed7537aa414abc;hb=325233dbbac73a07ac9d07c41c3a00e501920793;hp=52da99f5227a6fc8eb27ca43d59a470975bdb8ed;hpb=f5dc6608c39a1ba7f92aec4ac7f04ec7281de6b4;p=pintos-anon

diff --git a/src/tests/vm/Rubric.robustness b/src/tests/vm/Rubric.robustness
index 52da99f..0b2552f 100644
--- a/src/tests/vm/Rubric.robustness
+++ b/src/tests/vm/Rubric.robustness
@@ -1,7 +1,5 @@
 Robustness of virtual memory subsystem:
-
 - Test robustness of page table support.
-
 2	pt-bad-addr
 3	pt-bad-read
 2	pt-write-code
@@ -9,7 +7,6 @@ Robustness of virtual memory subsystem:
 4	pt-grow-bad
 
 - Test robustness of "mmap" system call.
-
 1	mmap-bad-fd
 1	mmap-inherit
 1	mmap-null