X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fsyn-rw.ck;h=ac82aa8c77915d9b21499cac7287100b1f0338cd;hb=cc41c0acfbda000cb416b3492bc8de3480b62904;hp=41b6e8a4c49e4d428a39625df8e9a32de6a1f0f5;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/filesys/extended/syn-rw.ck b/src/tests/filesys/extended/syn-rw.ck
index 41b6e8a..ac82aa8 100644
--- a/src/tests/filesys/extended/syn-rw.ck
+++ b/src/tests/filesys/extended/syn-rw.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (syn-rw) begin
 (syn-rw) create "logfile"
@@ -16,3 +17,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (syn-rw) wait for child 4 of 4 returned 3 (expected 3)
 (syn-rw) end
 EOF
+pass;