Use 0xcc (not 0xcd) for clearing malloc() blocks too.
[pintos-anon] / grading / threads / priority-donate-nest.exp
2004-10-21 Ben PfaffFinal updates for grading project 1.
2004-10-17 Ben PfaffWork on grading.