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