X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2FRubric.robustness;h=0b2552f29852e4e1121d99ddd8ed7537aa414abc;hb=2341951d97bbec5534af6f14452837bcd6a65687;hp=52da99f5227a6fc8eb27ca43d59a470975bdb8ed;hpb=a705e9ae16e14e24d313916a0c5402e175f8cce5;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