added bad-jump/read/write bad-jump2/read2/write2 to check that process
[pintos-anon] / src / tests / userprog / Rubric.robustness
index 0a5690a5e640aa02085208dc7282fbfff2ba462a..569615687fec0f24710661455b21ee56f879002e 100644 (file)
@@ -39,3 +39,10 @@ Robustness of system calls:
 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