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 ed9fbac28b0d69826ac9d2cdf4162eb5bb6ffd16..81e966315553126616f9a71a22d73a59a756bd81 100644 (file)
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -17,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;
@@ -29,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 *, ...);