Up

Traces

linux[3.13.0-29-generic][system[GNU C Library (GNU libc) stable release version 2.21, by Roland McGrath et al.]][ext4_loop[mke2fs 1.42.9 (4-Feb-2014)]]@[2015-07-24T13:23:26Z./nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test]

Checked Trace
linux_spec@[/nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test] sexp stdout stderr
Traced Execution stdout stderr
Script script

Combined Trace

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 {
st_dev=1792;
st_ino= 17;
st_kind= S_IFREG;
st_perm= 0o101;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
17
18