Checked Trace | |||
---|---|---|---|
linux_spec@[/nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test] | sexp | stdout | stderr |
Traced Execution | stdout | stderr |
---|
Script | script |
---|
1 | # processing file 'adhoc_lseek_test_SEEK_HOLE-int.trace' ... | ||
2 | @type trace | ||
3 | # ############################################# | ||
4 | # for coverage purposes test lseek SEEK_HOLE | ||
5 | # ############################################# | ||
6 | mkdir "d1" 0o777 | ||
7 | Tau | ||
8 | RV_none | ||
9 | |||
10 | open "d1" [O_RDONLY] | ||
11 | Tau | ||
12 | RV_num(3) | ||
13 | lseek (FD 3) 0 SEEK_HOLE | ||
14 | Tau | ||
|