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 d26c52a7e4afb52ac6476964ed9c155ae849fcbd..0ef7aaa76d4728a67ac571058ad33daad3466ac2 100644 (file)
--- a/src/tests/userprog/exec-missing.ck
+++ b/src/tests/userprog/exec-missing.ck
@@ -2,7 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
-check_expected ([<<'EOF', <<'EOF', <<'EOF']);
+check_expected ([<<'EOF', <<'EOF', <<'EOF', <<'EOF']);
 (exec-missing) begin
 load: no-such-file: open failed
 (exec-missing) exec("no-such-file"): -1
@@ -21,3 +21,11 @@ no-such-file: exit(-1)
 (exec-missing) end
 exec-missing: exit(0)
 EOF
+(exec-missing) begin
+load: no-such-file: open failed
+(exec-missing) exec("no-such-file"): -1
+no-such-file: exit(-1)
+(exec-missing) end
+exec-missing: exit(0)
+EOF
+pass;