Separate persistence tests from the extended filesys tests.
[pintos-anon] / src / tests / filesys / extended / grow-file-size.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 use tests::random;
6 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
7 (grow-file-size) begin
8 (grow-file-size) create "testfile"
9 (grow-file-size) open "testfile"
10 (grow-file-size) writing "testfile"
11 (grow-file-size) close "testfile"
12 (grow-file-size) open "testfile" for verification
13 (grow-file-size) verified contents of "testfile"
14 (grow-file-size) close "testfile"
15 (grow-file-size) end
16 EOF
17 pass;