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

diff --git a/src/tests/userprog/Rubric.robustness b/src/tests/userprog/Rubric.robustness
index 0a5690a..b7d1035 100644
--- a/src/tests/userprog/Rubric.robustness
+++ b/src/tests/userprog/Rubric.robustness
@@ -11,11 +11,11 @@ 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
-5	read-bad-ptr
-5	write-bad-ptr
+3	create-bad-ptr
+3	exec-bad-ptr
+3	open-bad-ptr
+3	read-bad-ptr
+3	write-bad-ptr
 
 - Test robustness of buffer copying across page boundaries.
 3	create-bound
@@ -29,8 +29,8 @@ Robustness of system calls:
 2	open-empty
 
 - Test robustness of system call implementation.
-5	sc-bad-arg
-5	sc-bad-sp
+3	sc-bad-arg
+3	sc-bad-sp
 5	sc-boundary
 5	sc-boundary-2
 
@@ -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