X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Ffilesys%2Fsm-random.exp;h=37adb48ff9f803342265dc2b279b625ea8cee901;hb=4419844a889e14a9d7b08205a41b7d97fe4b2bfc;hp=aba5461a75dbac27a39a10926120235d30977bf5;hpb=6ebce2100b371612b554bf17a3ce613a4093df37;p=pintos-anon diff --git a/grading/filesys/sm-random.exp b/grading/filesys/sm-random.exp index aba5461..37adb48 100644 --- a/grading/filesys/sm-random.exp +++ b/grading/filesys/sm-random.exp @@ -4,3 +4,4 @@ (sm-random) write "bazzle" in random order (sm-random) read "bazzle" in random order (sm-random) close "bazzle" +(sm-random) end