X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Fpriority-donate-nest.ck;h=923460ed14a7d20ab84ffa2fdcd60bda110e7cc4;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=6ec1b4aca3a6d4a415ac156c6ae9ace619039de4;hpb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;p=pintos-anon diff --git a/src/tests/threads/priority-donate-nest.ck b/src/tests/threads/priority-donate-nest.ck index 6ec1b4a..923460e 100644 --- a/src/tests/threads/priority-donate-nest.ck +++ b/src/tests/threads/priority-donate-nest.ck @@ -16,3 +16,4 @@ check_expected ([<<'EOF']); (priority-donate-nest) Low thread should have priority 31. Actual priority: 31. (priority-donate-nest) end EOF +pass;