1 |
2 |
@type trace |
3 |
4 |
|
5 |
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 |
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 |
|