Add another test that checks priority scheduling in the case of

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

diff --git a/src/tests/threads/tests.h b/src/tests/threads/tests.h
index 93c61ec78c7cc6a03ddbcab4bd362b02f6579fdb..46d99f8828d27f92f622816c70819844d528f54c 100644 (file)
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -14,6 +14,7 @@ extern test_func test_priority_change;
 extern test_func test_priority_donate_one;
 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_fifo;
 extern test_func test_priority_preempt;