Add file system persistence tests:

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

diff --git a/src/tests/userprog/halt.ck b/src/tests/userprog/halt.ck
index 4b1207d6b595084948f972dc43d86291e6d6ef15..1b701ed9076f8192e3e4e0247b2817ea10341dfb 100644 (file)
--- a/src/tests/userprog/halt.ck
+++ b/src/tests/userprog/halt.ck
@@ -6,7 +6,7 @@ use tests::tests;
 our ($test);
 my (@output) = read_text_file ("$test.output");
 
-common_checks (@output);
+common_checks ("run", @output);
 
 fail "missing 'begin' message\n"
   if !grep ($_ eq '(halt) begin', @output);