Add file system persistence tests:

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

diff --git a/src/tests/userprog/open-normal.ck b/src/tests/userprog/open-normal.ck
index 492433fd73dde68ec9500db96e76050b92fe6850..4f6c34250f94d8bfa8ad92c83efba8b631fba460 100644 (file)
--- a/src/tests/userprog/open-normal.ck
+++ b/src/tests/userprog/open-normal.ck
@@ -7,3 +7,4 @@ check_expected ([<<'EOF']);
 (open-normal) end
 open-normal: exit(0)
 EOF
+pass;