Test interaction between priority donation and thread_set_priority().

[pintos-anon] / src / tests / threads / tests.h

diff --git a/src/tests/threads/tests.h b/src/tests/threads/tests.h
index 46d99f8828d27f92f622816c70819844d528f54c..81e966315553126616f9a71a22d73a59a756bd81 100644 (file)
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -7,6 +7,7 @@ typedef void test_func (void);
 
 extern test_func test_alarm_single;
 extern test_func test_alarm_multiple;
+extern test_func test_alarm_simultaneous;
 extern test_func test_alarm_priority;
 extern test_func test_alarm_zero;
 extern test_func test_alarm_negative;
@@ -16,6 +17,7 @@ extern test_func test_priority_donate_multiple;
 extern test_func test_priority_donate_multiple2;
 extern test_func test_priority_donate_sema;
 extern test_func test_priority_donate_nest;
+extern test_func test_priority_donate_lower;
 extern test_func test_priority_fifo;
 extern test_func test_priority_preempt;
 extern test_func test_priority_sema;
@@ -28,6 +30,7 @@ extern test_func test_mlfqs_fair_2;
 extern test_func test_mlfqs_fair_20;
 extern test_func test_mlfqs_nice_2;
 extern test_func test_mlfqs_nice_10;
+extern test_func test_mlfqs_block;
 
 void msg (const char *, ...);
 void fail (const char *, ...);