Add file system persistence tests:

[pintos-anon] / src / tests / filesys / base / syn-read.ck

diff --git a/src/tests/filesys/base/syn-read.ck b/src/tests/filesys/base/syn-read.ck
index 7bda1aabf1fad089a6ea16b5526ceb5a4c6832b2..e2f68e80a2fe142fc6fbd039d9bddb7e1f890784 100644 (file)
--- a/src/tests/filesys/base/syn-read.ck
+++ b/src/tests/filesys/base/syn-read.ck
@@ -30,3 +30,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (syn-read) wait for child 10 of 10 returned 9 (expected 9)
 (syn-read) end
 EOF
+pass;