X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2FGrading;h=f70dc99acef673fc5a6408c0f7498dc7b027468f;hb=cabab297e140981add0d8b3f965dadd579224a29;hp=3746aae7e1302f8d921546dfa315e02dc6767abb;hpb=a705e9ae16e14e24d313916a0c5402e175f8cce5;p=pintos-anon

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