Add another test that checks priority scheduling in the case of

[pintos-anon] / src / tests / threads / Rubric.priority

diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority
index 242dace9a69c7dc8ac32d9b5e9d1b88df54ec399..87ba8728962216562fc245bae15f997e7cb3fbe0 100644 (file)
--- 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