pintos-os.org Git - pintos-anon/blob - grading/vm/page-merge-par.exp

   1 (page-merge-par) begin
   2 (page-merge-par) init
   3 (page-merge-par) sort chunk 0
   4 (page-merge-par) sort chunk 1
   5 (page-merge-par) sort chunk 2
   6 (page-merge-par) sort chunk 3
   7 (page-merge-par) sort chunk 4
   8 (page-merge-par) sort chunk 5
   9 (page-merge-par) sort chunk 6
  10 (page-merge-par) sort chunk 7
  11 (page-merge-par) merge
  12 (page-merge-par) verify
  13 (page-merge-par) success, buf_idx=516096
  14 (page-merge-par) end