Add file system persistence tests:

[pintos-anon] / src / tests / userprog / write-normal.ck

diff --git a/src/tests/userprog/write-normal.ck b/src/tests/userprog/write-normal.ck
index c78cfb570e7af838a217ec23f4189b4edd4eb00f..9fa6024c09a679df06bcef847f2132fc07e39c35 100644 (file)
--- a/src/tests/userprog/write-normal.ck
+++ b/src/tests/userprog/write-normal.ck
@@ -9,3 +9,4 @@ check_expected ([<<'EOF']);
 (write-normal) end
 write-normal: exit(0)
 EOF
+pass;