1 |
2 |
@type trace |
3 |
4 |
5 |
6 |
mkdir "empty_dir1" 0o777 |
7 |
Tau |
8 |
RV_none |
9 |
mkdir "empty_dir2" 0o777 |
10 |
Tau |
11 |
RV_none |
12 |
mkdir "nonempty_dir1" 0o777 |
13 |
Tau |
14 |
RV_none |
15 |
mkdir "nonempty_dir1/d2" 0o777 |
16 |
Tau |
17 |
RV_none |
18 |
open "nonempty_dir1/d2/f3.txt" [O_CREAT;O_WRONLY] 0o666 |
19 |
Tau |
20 |
RV_num(3) |
21 |
write! (FD 3) "Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor inc" 83 |
22 |
Tau |
23 |
RV_num(83) |
24 |
close (FD 3) |
25 |
Tau |
26 |
RV_none |
27 |
mkdir "nonempty_dir1/d2/d3" 0o777 |
28 |
Tau |
29 |
RV_none |
30 |
symlink "../f1.txt" "nonempty_dir1/d2/sl_dotdot_f1.txt" |
31 |
Tau |
32 |
RV_none |
33 |
symlink "no_such_target" "nonempty_dir1/d2/sl_no_such_target" |
34 |
Tau |
35 |
RV_none |
36 |
symlink "../no_such_target" "nonempty_dir1/d2/sl_dotdot_no_such_target" |
37 |
Tau |
38 |
RV_none |
39 |
symlink "../d2" "nonempty_dir1/d2/sl_dotdot_d2" |
40 |
Tau |
41 |
RV_none |
42 |
open_close "nonempty_dir1/f1.txt" [O_CREAT;O_WRONLY] 0o666 |
43 |
Tau |
44 |
RV_none |
45 |
symlink "f1.txt" "nonempty_dir1/sl_f1.txt" |
46 |
Tau |
47 |
RV_none |
48 |
mkdir "nonempty_dir2" 0o777 |
49 |
Tau |
50 |
RV_none |
51 |
open_close "nonempty_dir2/f1.txt" [O_CREAT;O_WRONLY] 0o666 |
52 |
Tau |
53 |
RV_none |
54 |
open "nonempty_dir2/f2.txt" [O_CREAT;O_WRONLY] 0o666 |
55 |
Tau |
56 |
RV_num(3) |
57 |
write! (FD 3) "Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exer" 167 |
58 |
Tau |
59 |
RV_num(167) |
60 |
close (FD 3) |
61 |
Tau |
62 |
RV_none |
63 |
mkdir "nonempty_dir2/d2" 0o777 |
64 |
Tau |
65 |
RV_none |
66 |
mkdir "nonempty_dir2/d2/d3" 0o777 |
67 |
Tau |
68 |
RV_none |
69 |
symlink "../../nonempty_dir1/d2/f3.txt" "nonempty_dir2/d2/sl_f3.txt" |
70 |
Tau |
71 |
RV_none |
72 |
|
73 |
unlink "nonempty_dir1/d2/f3.txt/" |
74 |
Tau |
75 |
ENOTDIR |
76 |
|
77 |
dump-result /
/ |
D |
470315 |
|
|
/empty_dir1 |
D |
470316 |
|
|
/empty_dir2 |
D |
470317 |
|
|
/nonempty_dir1 |
D |
470318 |
|
|
/nonempty_dir1/f1.txt |
F |
470326 |
0 |
da39a3ee5e6b4b0d3255bfef95601890afd80709 |
/nonempty_dir1/sl_f1.txt |
L |
|
|
f1.txt |
/nonempty_dir1/d2 |
D |
470319 |
|
|
/nonempty_dir1/d2/f3.txt |
F |
470320 |
83 |
4b535f836f6006423fc132a59e78dfcc4fe6292f |
/nonempty_dir1/d2/sl_dotdot_d2 |
L |
|
|
../d2 |
/nonempty_dir1/d2/sl_dotdot_f1.txt |
L |
|
|
../f1.txt |
/nonempty_dir1/d2/sl_dotdot_no_such_target |
L |
|
|
../no_such_target |
/nonempty_dir1/d2/sl_no_such_target |
L |
|
|
no_such_target |
/nonempty_dir1/d2/d3 |
D |
470321 |
|
|
/nonempty_dir2 |
D |
470328 |
|
|
/nonempty_dir2/f1.txt |
F |
470329 |
0 |
da39a3ee5e6b4b0d3255bfef95601890afd80709 |
/nonempty_dir2/f2.txt |
F |
470330 |
167 |
d09f4e47c22373e56c2369633ac3dcb71d598601 |
/nonempty_dir2/d2 |
D |
470331 |
|
|
/nonempty_dir2/d2/sl_f3.txt |
L |
|
|
../../nonempty_dir1/d2/f3.txt |
/nonempty_dir2/d2/d3 |
D |
470332 |
|
|
|
78 |
|
79 |
|
80 |
|
81 |
|