pintos-os.org Git - pintos-anon/blob - grading/filesys/grow-two-files.exp

   1 (grow-two-files) begin
   2 (grow-two-files) create "a"
   3 (grow-two-files) create "b"
   4 (grow-two-files) open "a"
   5 (grow-two-files) open "b"
   6 (grow-two-files) write "a" and "b" alternately
   7 (grow-two-files) close "a"
   8 (grow-two-files) close "b"
   9 (grow-two-files) open "a" for verification
  10 (grow-two-files) close "a"
  11 (grow-two-files) open "b" for verification
  12 (grow-two-files) close "b"
  13 (grow-two-files) end