Add file system persistence tests:
[pintos-anon] / src / tests / userprog / sc-bad-arg.ck
index a255768af667dde04e3244f778d7d62a33c2f691..89811056338ef199208fbf48d5a3471f1cf64266 100644 (file)
@@ -6,3 +6,4 @@ check_expected ([<<'EOF']);
 (sc-bad-arg) begin
 sc-bad-arg: exit(-1)
 EOF
+pass;