X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fsyn-remove.exp;h=a7c56caa9adedc0c81903fdda461db42d44e76c3;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=f4ad70208dbc5998d23df27e299c7e74891d01e6;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;p=pintos-anon diff --git a/grading/filesys/syn-remove.exp b/grading/filesys/syn-remove.exp index f4ad702..a7c56ca 100644 --- a/grading/filesys/syn-remove.exp +++ b/grading/filesys/syn-remove.exp @@ -5,6 +5,5 @@ (syn-remove) write "deleteme" (syn-remove) seek "deleteme" to 0 (syn-remove) read "deleteme" -(syn-remove) compare data read and written (syn-remove) close "deleteme" (syn-remove) end