Add file system persistence tests:
[pintos-anon] / src / tests / threads / priority-donate-multiple2.ck
index 3855afd3def169b24891b2a08090eba1fb40c6af..b23533ae938b3832767c721fbc8d7e523cc9165e 100644 (file)
@@ -16,3 +16,4 @@ check_expected ([<<'EOF']);
 (priority-donate-multiple2) Main thread should have priority 31.  Actual priority: 31.
 (priority-donate-multiple2) end
 EOF
+pass;