X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2FRubric.robustness;h=b7d1035a745bb18b140e5a6aa6c9e32ba63acac5;hb=b3e3f48bc3a6c908e534b603a3b61e7536da1179;hp=569615687fec0f24710661455b21ee56f879002e;hpb=86a6823c27924913dcfa9af788d16491e0c1546c;p=pintos-anon

diff --git a/src/tests/userprog/Rubric.robustness b/src/tests/userprog/Rubric.robustness
index 5696156..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