X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-two-files.exp;h=5d3403ae02783cfcec2e186cbeaa7420509f83ae;hb=37554ba0d6fed50ee5c23bfcfb199c20739e8f28;hp=affa63a7bac1f0b1a0ffc1ff87fc64804a101d29;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/grow-two-files.exp b/grading/filesys/grow-two-files.exp
index affa63a..5d3403a 100644
--- a/grading/filesys/grow-two-files.exp
+++ b/grading/filesys/grow-two-files.exp
@@ -1,3 +1,4 @@
+(grow-two-files) begin
 (grow-two-files) create "a"
 (grow-two-files) create "b"
 (grow-two-files) open "a"
@@ -9,3 +10,4 @@
 (grow-two-files) close "a"
 (grow-two-files) open "b" for verification
 (grow-two-files) close "b"
+(grow-two-files) end