summaryrefslogtreecommitdiffstats
path: root/pintos-progos/tests/threads/Rubric.priority
diff options
context:
space:
mode:
Diffstat (limited to 'pintos-progos/tests/threads/Rubric.priority')
-rw-r--r--pintos-progos/tests/threads/Rubric.priority15
1 files changed, 0 insertions, 15 deletions
diff --git a/pintos-progos/tests/threads/Rubric.priority b/pintos-progos/tests/threads/Rubric.priority
deleted file mode 100644
index 652bc99..0000000
--- a/pintos-progos/tests/threads/Rubric.priority
+++ /dev/null
@@ -1,15 +0,0 @@
1Functionality of priority scheduler:
23 priority-change
33 priority-preempt
4
53 priority-fifo
63 priority-sema
73 priority-condvar
8
93 priority-donate-one
103 priority-donate-multiple
113 priority-donate-multiple2
123 priority-donate-nest
135 priority-donate-chain
143 priority-donate-sema
153 priority-donate-lower