X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2FRubric.priority;h=87ba8728962216562fc245bae15f997e7cb3fbe0;hb=a4613d70fb56b93216299f6253698ab0e4bbd46d;hp=242dace9a69c7dc8ac32d9b5e9d1b88df54ec399;hpb=5cdab0175a2d4ed5731b4cb41c106a36985f0f7f;p=pintos-anon

diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority
index 242dace..87ba872 100644
--- a/src/tests/threads/Rubric.priority
+++ b/src/tests/threads/Rubric.priority
@@ -1,10 +1,11 @@
 Functionality of priority scheduler:
-4	priority-preempt
-4	priority-donate-one
-4	priority-donate-multiple
-4	priority-donate-multiple2
-4	priority-donate-nest
-4	priority-change
+3	priority-preempt
+3	priority-donate-one
+3	priority-donate-multiple
+3	priority-donate-multiple2
+3	priority-donate-nest
+3	priority-donate-sema
+3	priority-change
 
 3	priority-fifo
 3	priority-sema