Add file system persistence tests:
[pintos-anon] / src / tests / userprog / read-zero.ck
index 3d9b091cda0f86975861f587bab6856b7d5d2ed5..8346dbc325a2d74887ab6837c294e024643bd928 100644 (file)
@@ -8,3 +8,4 @@ check_expected ([<<'EOF']);
 (read-zero) end
 read-zero: exit(0)
 EOF
+pass;