X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2FRubric.robustness;h=0a5690a5e640aa02085208dc7282fbfff2ba462a;hb=bed7964bf37ffe1b9c418688544d9ac467edce7e;hp=6a2a51ad0d8174f3545227d70070bc26e41a700b;hpb=556a216befb4a58e9563aeef6e827975f4a26731;p=pintos-anon

diff --git a/src/tests/userprog/Rubric.robustness b/src/tests/userprog/Rubric.robustness
index 6a2a51a..0a5690a 100644
--- a/src/tests/userprog/Rubric.robustness
+++ b/src/tests/userprog/Rubric.robustness
@@ -1,7 +1,5 @@
 Robustness of system calls:
-
 - Test robustness of file descriptor handling.
-
 2	close-stdin
 2	close-stdout
 2	close-bad-fd
@@ -13,7 +11,6 @@ Robustness of system calls:
 2	multi-child-fd
 
 - Test robustness of pointer handling.
-
 5	create-bad-ptr
 5	exec-bad-ptr
 5	open-bad-ptr
@@ -21,27 +18,23 @@ Robustness of system calls:
 5	write-bad-ptr
 
 - Test robustness of buffer copying across page boundaries.
-
 3	create-bound
 3	open-boundary
 3	read-boundary
 3	write-boundary
 
 - Test handling of null pointer and empty strings.
-
 2	create-null
 2	open-null
 2	open-empty
 
 - Test robustness of system call implementation.
-
 5	sc-bad-arg
 5	sc-bad-sp
 5	sc-boundary
 5	sc-boundary-2
 
 - Test robustness of "exec" and "wait" system calls.
-
 5	exec-missing
 5	wait-bad-pid
 5	wait-killed