pintos-os.org Git - pintos-anon/blob - grading/filesys/grow-file-size.exp

   1 (grow-file-size) begin
   2 (grow-file-size) create "testfile"
   3 (grow-file-size) open "testfile"
   4 (grow-file-size) writing "testfile"
   5 (grow-file-size) close "testfile"
   6 (grow-file-size) open "testfile" for verification
   7 (grow-file-size) close "testfile"
   8 (grow-file-size) end