Add file system persistence tests:

[pintos-anon] / src / tests / userprog / exit.ck

diff --git a/src/tests/userprog/exit.ck b/src/tests/userprog/exit.ck
index 206c48b0b1f9cd233938d33789d830adfae6b22f..a552702b61a9a880471746dad64b17787b9b2941 100644 (file)
--- a/src/tests/userprog/exit.ck
+++ b/src/tests/userprog/exit.ck
@@ -6,3 +6,4 @@ check_expected ([<<'EOF']);
 (exit) begin
 exit: exit(57)
 EOF
+pass;