X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2FGrading;h=f70dc99acef673fc5a6408c0f7498dc7b027468f;hp=3746aae7e1302f8d921546dfa315e02dc6767abb;hb=cabab297e140981add0d8b3f965dadd579224a29;hpb=0eb663f85c834786c5b98186bb55a3e3224b8a2f diff --git a/src/tests/userprog/Grading b/src/tests/userprog/Grading index 3746aae..f70dc99 100644 --- a/src/tests/userprog/Grading +++ b/src/tests/userprog/Grading @@ -6,6 +6,6 @@ # should come "for free". Thus, the points emphasis below. 35% tests/userprog/Rubric.functionality -35% tests/userprog/Rubric.robustness - 5% tests/userprog/no-vm/Rubric -25% tests/filesys/base/Rubric +25% tests/userprog/Rubric.robustness +10% tests/userprog/no-vm/Rubric +30% tests/filesys/base/Rubric