X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2FRubric.priority;h=e8ee82ce1919b96350ec1a261247377c8abb9f19;hb=7b3a3ff8d426996903c81ca4fa55a3e41f3ec12d;hp=87ba8728962216562fc245bae15f997e7cb3fbe0;hpb=c27bbbdb32640ba99c35e417f5ae7c0377f747f0;p=pintos-anon diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority index 87ba872..e8ee82c 100644 --- a/src/tests/threads/Rubric.priority +++ b/src/tests/threads/Rubric.priority @@ -5,6 +5,7 @@ Functionality of priority scheduler: 3 priority-donate-multiple2 3 priority-donate-nest 3 priority-donate-sema +3 priority-donate-lower 3 priority-change 3 priority-fifo