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_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 14
/dir_1 D 19
/dir_1/f1.txt F 24 24 3f8cf820bb3ad6f52314a560e757adf6c0548d42
/dir_1/symlink.txt L /dir_1
/dir_2 D 22
38
39