added bad-jump/read/write bad-jump2/read2/write2 to check that process

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

diff --git a/src/tests/userprog/Rubric.robustness b/src/tests/userprog/Rubric.robustness
index 6a2a51ad0d8174f3545227d70070bc26e41a700b..569615687fec0f24710661455b21ee56f879002e 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,28 +18,31 @@ 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
 
+- Test robustness of exception handling.
+1      bad-read
+1      bad-write
+1      bad-jump
+1      bad-read2
+1      bad-write2
+1      bad-jump2