Add file system persistence tests:

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

diff --git a/src/tests/userprog/exec-missing.ck b/src/tests/userprog/exec-missing.ck
index 726a4e7a8b1a15a30e37dc77bbfff983b346e8a6..0ef7aaa76d4728a67ac571058ad33daad3466ac2 100644 (file)
--- a/src/tests/userprog/exec-missing.ck
+++ b/src/tests/userprog/exec-missing.ck
@@ -28,3 +28,4 @@ no-such-file: exit(-1)
 (exec-missing) end
 exec-missing: exit(0)
 EOF
+pass;