Add file system persistence tests:

[pintos-anon] / src / tests / userprog / exec-multiple.ck

diff --git a/src/tests/userprog/exec-multiple.ck b/src/tests/userprog/exec-multiple.ck
index 60769587bb796ada51b289287159100748601cd1..99624cd7bd87174462fb6dc1635485e1b7b2557d 100644 (file)
--- a/src/tests/userprog/exec-multiple.ck
+++ b/src/tests/userprog/exec-multiple.ck
@@ -15,3 +15,4 @@ child-simple: exit(81)
 (exec-multiple) end
 exec-multiple: exit(0)
 EOF
+pass;