Up

Traces

linux[4.2.5-1-ARCH][system[GNU C Library (GNU libc) stable release version 2.22, by Roland McGrath et al.]][path=/mnt/flashix/[unknown]]@[2015-12-14T16:11:13Z./nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test]

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

Combined Trace

1 # processing file 'adhoc_symlink_overwrite-int.trace' ...
2 @type trace
3 # adhoc_symlink_missing
4
5 # initialization
6
7 mkdir "/dir_1" 0o777
8 Tau
9 RV_none
10 mkdir "/dir_2" 0o777
11 Tau
12 RV_none
13
14 open "/dir_1/f1.txt" [O_CREAT;O_RDWR] 0o666
15 Tau
16 RV_num(3)
17 write! (FD 3) "content of /dir_1/f1.txt" 24
18 Tau
19 RV_num(24)
20 close (FD 3)
21 Tau
22 RV_none
23
24 # existing files and dirs cannot be overridden by symlink
25 symlink "/dir_1" "/dir_2"
26 Tau
27 EEXIST
28 symlink "/dir_1" "/dir_1/f1.txt"
29 Tau
30 EEXIST
31 symlink "/dir_1" "/dir_1/symlink.txt"
32 Tau
33 RV_none
34 symlink "/dir_2" "/dir_1/symlink.txt"
35 Tau
36 EEXIST
37 dump-result /
/ D 470477
/dir_1 D 470478
/dir_1/f1.txt F 470480 24 3f8cf820bb3ad6f52314a560e757adf6c0548d42
/dir_1/symlink.txt L /dir_1
/dir_2 D 470479
38
39
Generated by SibylFS /nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test