Change line spacing.

[pintos-anon] / src / tests / userprog / Rubric.robustness

diff --git a/src/tests/userprog/Rubric.robustness b/src/tests/userprog/Rubric.robustness
index 6a2a51ad0d8174f3545227d70070bc26e41a700b..0a5690a5e640aa02085208dc7282fbfff2ba462a 100644 (file)
--- 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