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

   1 (page-shuffle) begin
   2 (page-shuffle) init: cksum=3115322833
   3 (page-shuffle) shuffle 0: cksum=63424829
   4 (page-shuffle) shuffle 1: cksum=3779635387
   5 (page-shuffle) shuffle 2: cksum=384449947
   6 (page-shuffle) shuffle 3: cksum=1883585126
   7 (page-shuffle) shuffle 4: cksum=2588854009
   8 (page-shuffle) shuffle 5: cksum=2250425557
   9 (page-shuffle) shuffle 6: cksum=866944104
  10 (page-shuffle) shuffle 7: cksum=3710004019
  11 (page-shuffle) shuffle 8: cksum=3936244654
  12 (page-shuffle) shuffle 9: cksum=2799827580
  13 (page-shuffle) end