X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-root-sm.exp;h=a4df5cd879caf4c5f65c1e2d4adf751d781e832a;hb=58a1b6fe4dda6624ca7c4a4ac80bd894446e0939;hp=c9f4bd54384a450af98945d62d1df24a8d32fffe;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;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