• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1init: {
2  open_file: {
3    path_name: "newfile3.txt",
4    create: true
5  }
6},
7main: {
8  instruction_set: {
9    instructions: [
10      {
11        open_file: {
12          path_name: "newfile3.txt",
13          output_fd: "test_file",
14          direct_io: true
15        }
16      },
17      {
18        resize_file: {
19          input_fd: "test_file",
20          size: 134217728
21        }
22      },
23      {
24        write_file: {
25          input_fd: "test_file",
26          fsync: true
27        }
28      },
29      {
30        close_file: {
31          input_fd: "test_file"
32        }
33      }
34    ]
35  }
36},
37clean_up: {
38  delete_file: {
39    path_name: "newfile3.txt"
40  }
41},
42global {}
43