X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-root-sm.exp;h=a4df5cd879caf4c5f65c1e2d4adf751d781e832a;hb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;hp=c9f4bd54384a450af98945d62d1df24a8d32fffe;hpb=5669c5eba155f6a0f8ca45cdc4aa8d4412036f13;p=pintos-anon

diff --git a/grading/filesys/grow-root-sm.exp b/grading/filesys/grow-root-sm.exp
index c9f4bd5..a4df5cd 100644
--- a/grading/filesys/grow-root-sm.exp
+++ b/grading/filesys/grow-root-sm.exp
@@ -9,14 +9,4 @@
 (grow-root-sm) creating and checking "file7"
 (grow-root-sm) creating and checking "file8"
 (grow-root-sm) creating and checking "file9"
-(grow-root-sm) creating and checking "file10"
-(grow-root-sm) creating and checking "file11"
-(grow-root-sm) creating and checking "file12"
-(grow-root-sm) creating and checking "file13"
-(grow-root-sm) creating and checking "file14"
-(grow-root-sm) creating and checking "file15"
-(grow-root-sm) creating and checking "file16"
-(grow-root-sm) creating and checking "file17"
-(grow-root-sm) creating and checking "file18"
-(grow-root-sm) creating and checking "file19"
 (grow-root-sm) end