Add file system persistence tests:

[pintos-anon] / src / tests / threads / priority-donate-lower.ck

diff --git a/src/tests/threads/priority-donate-lower.ck b/src/tests/threads/priority-donate-lower.ck
index b009fd81c350a8fd1601e0c6c7a9a1715161c5d6..c9bb61b170e43ed6ebaddd7905334b837680f643 100644 (file)
--- a/src/tests/threads/priority-donate-lower.ck
+++ b/src/tests/threads/priority-donate-lower.ck
@@ -13,3 +13,4 @@ check_expected ([<<'EOF']);
 (priority-donate-lower) Main thread should have priority 21.  Actual priority: 21.
 (priority-donate-lower) end
 EOF
+pass;