Checked Trace | |||
---|---|---|---|
linux_spec@[/nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test] | sexp | stdout | stderr |
Traced Execution | stdout | stderr |
---|
Script | script |
---|
1 | # processing file 'adhoc_open_creat_no_mode-int.trace' ... | |||||||||||||||||||||||||||
2 | @type trace | |||||||||||||||||||||||||||
3 | ||||||||||||||||||||||||||||
4 | # creating a file without providing a mode is | |||||||||||||||||||||||||||
5 | # unspecified in Posix. For Linux, the | |||||||||||||||||||||||||||
6 | # default mode is 0o101 | |||||||||||||||||||||||||||
7 | open "f2.txt" [O_CREAT;O_WRONLY] | |||||||||||||||||||||||||||
8 | Tau | |||||||||||||||||||||||||||
9 | RV_num(3) | |||||||||||||||||||||||||||
10 | close (FD 3) | |||||||||||||||||||||||||||
11 | Tau | |||||||||||||||||||||||||||
12 | RV_none | |||||||||||||||||||||||||||
13 | ||||||||||||||||||||||||||||
14 | stat "f2.txt" | |||||||||||||||||||||||||||
15 | Tau | |||||||||||||||||||||||||||
16 | RV_stat {
|
|||||||||||||||||||||||||||
17 | ||||||||||||||||||||||||||||
18 |