Add file system persistence tests:

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

diff --git a/src/tests/userprog/exec-once.ck b/src/tests/userprog/exec-once.ck
index 7aa688a16f50d75d67f1819fa7dae92cc1db3ab4..00b59ededcc1fde171a5b58ed013ae5fd19ac4b4 100644 (file)
--- a/src/tests/userprog/exec-once.ck
+++ b/src/tests/userprog/exec-once.ck
@@ -9,3 +9,4 @@ child-simple: exit(81)
 (exec-once) end
 exec-once: exit(0)
 EOF
+pass;