Add file system persistence tests:
[pintos-anon] / src / tests / threads / alarm-negative.ck
index e40ff30e84376551fd92b1dbaee9f22ffcbc4fbc..0d2bab07aefecada5942ae1e3ca9e2d4a993820d 100644 (file)
@@ -7,3 +7,4 @@ check_expected ([<<'EOF']);
 (alarm-negative) PASS
 (alarm-negative) end
 EOF
+pass;