1 |
2 |
@type trace |
3 |
4 |
5 |
6 |
|
7 |
8 |
9 |
10 |
11 |
|
12 |
|
13 |
14 |
|
15 |
mkdir "/dir" 0o777 |
16 |
Tau |
17 |
RV_none |
18 |
open "/file.txt" [O_CREAT;O_RDWR] 0o777 |
19 |
Tau |
20 |
RV_num(3) |
21 |
close (FD 3) |
22 |
Tau |
23 |
RV_none |
24 |
symlink "/file.txt" "/sl" |
25 |
Tau |
26 |
RV_none |
27 |
umask 0o022 |
28 |
Tau |
29 |
RV_file_perm(0o022) |
30 |
|
31 |
32 |
|
33 |
stat "/dir" |
34 |
Tau |
35 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o755; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o755; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
36 |
stat "/file.txt" |
37 |
Tau |
38 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o755; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
39 |
stat "/sl" |
40 |
Tau |
41 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o755; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
42 |
|
43 |
|
44 |
45 |
chmod "/dir" 0o000 |
46 |
Tau |
47 |
RV_none |
48 |
stat "/dir" |
49 |
Tau |
50 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o000; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o000; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
51 |
|
52 |
53 |
chmod "/dir" 0o777 |
54 |
Tau |
55 |
RV_none |
56 |
stat "/dir" |
57 |
Tau |
58 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o777; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o777; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
59 |
|
60 |
61 |
chmod "/dir" 0o755 |
62 |
Tau |
63 |
RV_none |
64 |
stat "/dir" |
65 |
Tau |
66 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o755; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o755; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
67 |
|
68 |
69 |
chmod "/file.txt" 0o000 |
70 |
Tau |
71 |
RV_none |
72 |
stat "/file.txt" |
73 |
Tau |
74 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o000; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
75 |
stat "/sl" |
76 |
Tau |
77 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o000; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
78 |
|
79 |
80 |
chmod "/file.txt" 0o666 |
81 |
Tau |
82 |
RV_none |
83 |
stat "/file.txt" |
84 |
Tau |
85 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o666; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
86 |
stat "/sl" |
87 |
Tau |
88 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o666; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
89 |
|
90 |
91 |
chmod "/file.txt" 0o644 |
92 |
Tau |
93 |
RV_none |
94 |
stat "/file.txt" |
95 |
Tau |
96 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o644; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
97 |
stat "/sl" |
98 |
Tau |
99 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o644; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
100 |
|
101 |
102 |
chmod "/no_such_dir/" 0o755 |
103 |
Tau |
104 |
ENOENT |
105 |
|
106 |
107 |
chmod "/no_such_file" 0o755 |
108 |
Tau |
109 |
ENOENT |
110 |
|
111 |
|
112 |
113 |
umask 0o000 |
114 |
Tau |
115 |
RV_file_perm(0o022) |
116 |
|
117 |
118 |
chmod "/dir" 0o000 |
119 |
Tau |
120 |
RV_none |
121 |
stat "/dir" |
122 |
Tau |
123 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o000; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o000; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
124 |
|
125 |
126 |
chmod "/dir" 0o777 |
127 |
Tau |
128 |
RV_none |
129 |
stat "/dir" |
130 |
Tau |
131 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o777; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o777; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
132 |
|
133 |
134 |
chmod "/dir" 0o755 |
135 |
Tau |
136 |
RV_none |
137 |
stat "/dir" |
138 |
Tau |
139 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345326; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o755; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
|
THE SPEC ASSERTS THE STATE SET IS EMPTY |
The spec permitted:
RV_stat {
st_dev | = | 2049; |
st_ino | = |
1; |
st_kind | = |
S_IFDIR; |
st_perm | = |
0o755; |
st_nlink | = | 2; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
9999; |
}
|
expected st_nlink 2 but got st_nlink 1 |
|
140 |
|
141 |
142 |
chmod "/file.txt" 0o000 |
143 |
Tau |
144 |
RV_none |
145 |
stat "/file.txt" |
146 |
Tau |
147 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o000; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
148 |
stat "/sl" |
149 |
Tau |
150 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o000; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
151 |
|
152 |
153 |
chmod "/file.txt" 0o666 |
154 |
Tau |
155 |
RV_none |
156 |
stat "/file.txt" |
157 |
Tau |
158 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o666; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
159 |
stat "/sl" |
160 |
Tau |
161 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o666; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
162 |
|
163 |
164 |
chmod "/file.txt" 0o644 |
165 |
Tau |
166 |
RV_none |
167 |
stat "/file.txt" |
168 |
Tau |
169 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o644; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
170 |
stat "/sl" |
171 |
Tau |
172 |
RV_stat {
st_dev | = | 42; |
st_ino | = |
345327; |
st_kind | = |
S_IFREG; |
st_perm | = |
0o644; |
st_nlink | = | 1; |
st_uid | = |
0; |
st_gid | = |
0; |
st_rdev | = | 0; |
st_size | = |
0; |
} |
173 |
|
174 |
175 |
chmod "/no_such_dir/" 0o755 |
176 |
Tau |
177 |
ENOENT |
178 |
|
179 |
180 |
chmod "/no_such_file" 0o755 |
181 |
Tau |
182 |
ENOENT |
183 |
|
184 |
185 |
chmod "" 0o755 |
186 |
Tau |
187 |
ENOENT |
188 |
|
189 |
190 |
symlink "/file.txt" "/my_symlink" |
191 |
Tau |
192 |
RV_none |
193 |
chmod "/my_symlink" 0o644 |
194 |
Tau |
195 |
RV_none |
196 |
|
197 |
|