X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2FRubric.robustness;h=569615687fec0f24710661455b21ee56f879002e;hp=0a5690a5e640aa02085208dc7282fbfff2ba462a;hb=1f197c6861841bc0c27327c20b85e7b43b65affe;hpb=bd18aa4d5b565826e29ccfcaa0eb2cf689cae96c diff --git a/src/tests/userprog/Rubric.robustness b/src/tests/userprog/Rubric.robustness index 0a5690a..5696156 100644 --- a/src/tests/userprog/Rubric.robustness +++ b/src/tests/userprog/Rubric.robustness @@ -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