Checked Trace | |||
---|---|---|---|
linux_spec@[/nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test] | sexp | stdout | stderr |
Traced Execution | stdout | stderr |
---|
Script | script |
---|
1 | # processing file 'adhoc_readdir_tests-int.trace' ... |
2 | @type trace |
3 | # adhoc_readdir_tests |
4 | # |
5 | |
6 | # ################################### |
7 | # Test 1 |
8 | # reading empty dir |
9 | # ################################### |
10 | |
11 | mkdir "/d1" 0o777 |
12 | Tau |
13 | RV_none |
14 | |
15 | opendir "/d1" |
16 | Tau |
17 | RV_num(1) |
18 | readdir (DH 1) |
19 | Tau |
20 | RV_bytes(".") |
21 | readdir (DH 1) |
22 | Tau |
23 | RV_bytes("..") |
24 | readdir (DH 1) |
25 | Tau |
26 | RV_none |
27 | readdir (DH 1) |
28 | Tau |
29 | RV_none |
30 | closedir (DH 1) |
31 | Tau |
32 | RV_none |
33 | |
34 | |
35 | # ################################### |
36 | # Test 2 |
37 | # reading non-empty dir without |
38 | # interference |
39 | # ################################### |
40 | |
41 | mkdir "/d2" 0o777 |
42 | Tau |
43 | RV_none |
44 | chdir "/d2" |
45 | Tau |
46 | RV_none |
47 | |
48 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
49 | Tau |
50 | RV_none |
51 | open_close "f2.txt" [O_CREAT;O_RDWR] 0o666 |
52 | Tau |
53 | RV_none |
54 | open_close "f3.txt" [O_CREAT;O_RDWR] 0o666 |
55 | Tau |
56 | RV_none |
57 | open_close "f4.txt" [O_CREAT;O_RDWR] 0o666 |
58 | Tau |
59 | RV_none |
60 | open_close "f5.txt" [O_CREAT;O_RDWR] 0o666 |
61 | Tau |
62 | RV_none |
63 | |
64 | opendir "/d2" |
65 | Tau |
66 | RV_num(1) |
67 | readdir (DH 1) |
68 | Tau |
69 | RV_bytes(".") |
70 | readdir (DH 1) |
71 | Tau |
72 | RV_bytes("..") |
73 | readdir (DH 1) |
74 | Tau |
75 | RV_bytes("f4.txt") |
76 | readdir (DH 1) |
77 | Tau |
78 | RV_bytes("f3.txt") |
79 | readdir (DH 1) |
80 | Tau |
81 | RV_bytes("f2.txt") |
82 | readdir (DH 1) |
83 | Tau |
84 | RV_bytes("f5.txt") |
85 | readdir (DH 1) |
86 | Tau |
87 | RV_bytes("f1.txt") |
88 | readdir (DH 1) |
89 | Tau |
90 | RV_none |
91 | readdir (DH 1) |
92 | Tau |
93 | RV_none |
94 | closedir (DH 1) |
95 | Tau |
96 | RV_none |
97 | |
98 | |
99 | # ################################### |
100 | # Test 3 |
101 | # reading non-empty dir with rewind |
102 | # ################################### |
103 | |
104 | mkdir "/d3" 0o777 |
105 | Tau |
106 | RV_none |
107 | chdir "/d3" |
108 | Tau |
109 | RV_none |
110 | |
111 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
112 | Tau |
113 | RV_none |
114 | open_close "f2.txt" [O_CREAT;O_RDWR] 0o666 |
115 | Tau |
116 | RV_none |
117 | open_close "f3.txt" [O_CREAT;O_RDWR] 0o666 |
118 | Tau |
119 | RV_none |
120 | open_close "f4.txt" [O_CREAT;O_RDWR] 0o666 |
121 | Tau |
122 | RV_none |
123 | open_close "f5.txt" [O_CREAT;O_RDWR] 0o666 |
124 | Tau |
125 | RV_none |
126 | |
127 | opendir "/d3" |
128 | Tau |
129 | RV_num(1) |
130 | readdir (DH 1) |
131 | Tau |
132 | RV_bytes(".") |
133 | readdir (DH 1) |
134 | Tau |
135 | RV_bytes("..") |
136 | readdir (DH 1) |
137 | Tau |
138 | RV_bytes("f4.txt") |
139 | readdir (DH 1) |
140 | Tau |
141 | RV_bytes("f3.txt") |
142 | readdir (DH 1) |
143 | Tau |
144 | RV_bytes("f2.txt") |
145 | readdir (DH 1) |
146 | Tau |
147 | RV_bytes("f5.txt") |
148 | readdir (DH 1) |
149 | Tau |
150 | RV_bytes("f1.txt") |
151 | readdir (DH 1) |
152 | Tau |
153 | RV_none |
154 | readdir (DH 1) |
155 | Tau |
156 | RV_none |
157 | rewinddir (DH 1) |
158 | Tau |
159 | RV_none |
160 | readdir (DH 1) |
161 | Tau |
162 | RV_bytes(".") |
163 | readdir (DH 1) |
164 | Tau |
165 | RV_bytes("..") |
166 | readdir (DH 1) |
167 | Tau |
168 | RV_bytes("f4.txt") |
169 | rewinddir (DH 1) |
170 | Tau |
171 | RV_none |
172 | readdir (DH 1) |
173 | Tau |
174 | RV_bytes(".") |
175 | readdir (DH 1) |
176 | Tau |
177 | RV_bytes("..") |
178 | readdir (DH 1) |
179 | Tau |
180 | RV_bytes("f4.txt") |
181 | readdir (DH 1) |
182 | Tau |
183 | RV_bytes("f3.txt") |
184 | readdir (DH 1) |
185 | Tau |
186 | RV_bytes("f2.txt") |
187 | readdir (DH 1) |
188 | Tau |
189 | RV_bytes("f5.txt") |
190 | readdir (DH 1) |
191 | Tau |
192 | RV_bytes("f1.txt") |
193 | readdir (DH 1) |
194 | Tau |
195 | RV_none |
196 | readdir (DH 1) |
197 | Tau |
198 | RV_none |
199 | readdir (DH 1) |
200 | Tau |
201 | RV_none |
202 | readdir (DH 1) |
203 | Tau |
204 | RV_none |
205 | readdir (DH 1) |
206 | Tau |
207 | RV_none |
208 | closedir (DH 1) |
209 | Tau |
210 | RV_none |
211 | |
212 | |
213 | # ################################### |
214 | # Test 4 |
215 | # reading a dir with two DHs |
216 | # ################################### |
217 | |
218 | mkdir "/d4" 0o777 |
219 | Tau |
220 | RV_none |
221 | chdir "/d4" |
222 | Tau |
223 | RV_none |
224 | |
225 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
226 | Tau |
227 | RV_none |
228 | open_close "f2.txt" [O_CREAT;O_RDWR] 0o666 |
229 | Tau |
230 | RV_none |
231 | open_close "f3.txt" [O_CREAT;O_RDWR] 0o666 |
232 | Tau |
233 | RV_none |
234 | open_close "f4.txt" [O_CREAT;O_RDWR] 0o666 |
235 | Tau |
236 | RV_none |
237 | open_close "f5.txt" [O_CREAT;O_RDWR] 0o666 |
238 | Tau |
239 | RV_none |
240 | |
241 | opendir "/d4" |
242 | Tau |
243 | RV_num(1) |
244 | opendir "/d4" |
245 | Tau |
246 | RV_num(2) |
247 | readdir (DH 1) |
248 | Tau |
249 | RV_bytes(".") |
250 | readdir (DH 2) |
251 | Tau |
252 | RV_bytes(".") |
253 | readdir (DH 1) |
254 | Tau |
255 | RV_bytes("..") |
256 | readdir (DH 2) |
257 | Tau |
258 | RV_bytes("..") |
259 | readdir (DH 1) |
260 | Tau |
261 | RV_bytes("f4.txt") |
262 | readdir (DH 2) |
263 | Tau |
264 | RV_bytes("f4.txt") |
265 | readdir (DH 1) |
266 | Tau |
267 | RV_bytes("f3.txt") |
268 | readdir (DH 2) |
269 | Tau |
270 | RV_bytes("f3.txt") |
271 | readdir (DH 1) |
272 | Tau |
273 | RV_bytes("f2.txt") |
274 | readdir (DH 2) |
275 | Tau |
276 | RV_bytes("f2.txt") |
277 | readdir (DH 1) |
278 | Tau |
279 | RV_bytes("f5.txt") |
280 | readdir (DH 1) |
281 | Tau |
282 | RV_bytes("f1.txt") |
283 | readdir (DH 1) |
284 | Tau |
285 | RV_none |
286 | readdir (DH 2) |
287 | Tau |
288 | RV_bytes("f5.txt") |
289 | readdir (DH 2) |
290 | Tau |
291 | RV_bytes("f1.txt") |
292 | readdir (DH 2) |
293 | Tau |
294 | RV_none |
295 | rewinddir (DH 1) |
296 | Tau |
297 | RV_none |
298 | readdir (DH 1) |
299 | Tau |
300 | RV_bytes(".") |
301 | readdir (DH 2) |
302 | Tau |
303 | RV_none |
304 | readdir (DH 1) |
305 | Tau |
306 | RV_bytes("..") |
307 | readdir (DH 2) |
308 | Tau |
309 | RV_none |
310 | readdir (DH 1) |
311 | Tau |
312 | RV_bytes("f4.txt") |
313 | readdir (DH 2) |
314 | Tau |
315 | RV_none |
316 | readdir (DH 1) |
317 | Tau |
318 | RV_bytes("f3.txt") |
319 | readdir (DH 2) |
320 | Tau |
321 | RV_none |
322 | readdir (DH 1) |
323 | Tau |
324 | RV_bytes("f2.txt") |
325 | readdir (DH 2) |
326 | Tau |
327 | RV_none |
328 | closedir (DH 2) |
329 | Tau |
330 | RV_none |
331 | closedir (DH 1) |
332 | Tau |
333 | RV_none |
334 | |
335 | |
336 | # ################################### |
337 | # Test 5 |
338 | # reading non-empty dir while |
339 | # changing its content |
340 | # ################################### |
341 | |
342 | mkdir "/d5" 0o777 |
343 | Tau |
344 | RV_none |
345 | chdir "/d5" |
346 | Tau |
347 | RV_none |
348 | |
349 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
350 | Tau |
351 | RV_none |
352 | open_close "f2.txt" [O_CREAT;O_RDWR] 0o666 |
353 | Tau |
354 | RV_none |
355 | open_close "f3.txt" [O_CREAT;O_RDWR] 0o666 |
356 | Tau |
357 | RV_none |
358 | open_close "f4.txt" [O_CREAT;O_RDWR] 0o666 |
359 | Tau |
360 | RV_none |
361 | open_close "f5.txt" [O_CREAT;O_RDWR] 0o666 |
362 | Tau |
363 | RV_none |
364 | |
365 | opendir "/d5" |
366 | Tau |
367 | RV_num(1) |
368 | readdir (DH 1) |
369 | Tau |
370 | RV_bytes(".") |
371 | unlink "f1.txt" |
372 | Tau |
373 | RV_none |
374 | readdir (DH 1) |
375 | Tau |
376 | RV_bytes("..") |
377 | open_close "f6.txt" [O_CREAT;O_RDWR] 0o666 |
378 | Tau |
379 | RV_none |
380 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
381 | Tau |
382 | RV_none |
383 | readdir (DH 1) |
384 | Tau |
385 | RV_bytes("f4.txt") |
386 | readdir (DH 1) |
387 | Tau |
388 | RV_bytes("f3.txt") |
389 | readdir (DH 1) |
390 | Tau |
391 | RV_bytes("f2.txt") |
392 | unlink "f6.txt" |
393 | Tau |
394 | RV_none |
395 | rename "f2.txt" "f2-changed.txt" |
396 | Tau |
397 | RV_none |
398 | readdir (DH 1) |
399 | Tau |
400 | RV_bytes("f5.txt") |
401 | readdir (DH 1) |
402 | Tau |
403 | RV_bytes("f1.txt") |
404 | readdir (DH 1) |
405 | Tau |
406 | RV_none |
407 | readdir (DH 1) |
408 | Tau |
409 | RV_none |
410 | rewinddir (DH 1) |
411 | Tau |
412 | RV_none |
413 | readdir (DH 1) |
414 | Tau |
415 | RV_bytes(".") |
416 | readdir (DH 1) |
417 | Tau |
418 | RV_bytes("..") |
419 | readdir (DH 1) |
420 | Tau |
421 | RV_bytes("f2-changed.txt") |
422 | readdir (DH 1) |
423 | Tau |
424 | RV_bytes("f4.txt") |
425 | readdir (DH 1) |
426 | Tau |
427 | RV_bytes("f3.txt") |
428 | readdir (DH 1) |
429 | Tau |
430 | RV_bytes("f5.txt") |
431 | readdir (DH 1) |
432 | Tau |
433 | RV_bytes("f1.txt") |
434 | readdir (DH 1) |
435 | Tau |
436 | RV_none |
437 | readdir (DH 1) |
438 | Tau |
439 | RV_none |
440 | readdir (DH 1) |
441 | Tau |
442 | RV_none |
443 | readdir (DH 1) |
444 | Tau |
445 | RV_none |
446 | readdir (DH 1) |
447 | Tau |
448 | RV_none |
449 | readdir (DH 1) |
450 | Tau |
451 | RV_none |
452 | closedir (DH 1) |
453 | Tau |
454 | RV_none |
455 | |
456 | |
457 | # ################################### |
458 | # Test 6 |
459 | # reading a dir with with to DHs |
460 | # ################################### |
461 | |
462 | mkdir "/d6" 0o777 |
463 | Tau |
464 | RV_none |
465 | chdir "/d6" |
466 | Tau |
467 | RV_none |
468 | |
469 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
470 | Tau |
471 | RV_none |
472 | open_close "f2.txt" [O_CREAT;O_RDWR] 0o666 |
473 | Tau |
474 | RV_none |
475 | open_close "f3.txt" [O_CREAT;O_RDWR] 0o666 |
476 | Tau |
477 | RV_none |
478 | open_close "f4.txt" [O_CREAT;O_RDWR] 0o666 |
479 | Tau |
480 | RV_none |
481 | open_close "f5.txt" [O_CREAT;O_RDWR] 0o666 |
482 | Tau |
483 | RV_none |
484 | |
485 | opendir "/d6" |
486 | Tau |
487 | RV_num(1) |
488 | opendir "/d6" |
489 | Tau |
490 | RV_num(2) |
491 | readdir (DH 1) |
492 | Tau |
493 | RV_bytes(".") |
494 | readdir (DH 2) |
495 | Tau |
496 | RV_bytes(".") |
497 | unlink "f1.txt" |
498 | Tau |
499 | RV_none |
500 | readdir (DH 1) |
501 | Tau |
502 | RV_bytes("..") |
503 | readdir (DH 2) |
504 | Tau |
505 | RV_bytes("..") |
506 | readdir (DH 1) |
507 | Tau |
508 | RV_bytes("f4.txt") |
509 | readdir (DH 2) |
510 | Tau |
511 | RV_bytes("f4.txt") |
512 | open_close "f6.txt" [O_CREAT;O_RDWR] 0o666 |
513 | Tau |
514 | RV_none |
515 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
516 | Tau |
517 | RV_none |
518 | readdir (DH 1) |
519 | Tau |
520 | RV_bytes("f3.txt") |
521 | readdir (DH 2) |
522 | Tau |
523 | RV_bytes("f3.txt") |
524 | readdir (DH 1) |
525 | Tau |
526 | RV_bytes("f2.txt") |
527 | readdir (DH 2) |
528 | Tau |
529 | RV_bytes("f2.txt") |
530 | unlink "f6.txt" |
531 | Tau |
532 | RV_none |
533 | rename "f2.txt" "f2-changed.txt" |
534 | Tau |
535 | RV_none |
536 | readdir (DH 1) |
537 | Tau |
538 | RV_bytes("f5.txt") |
539 | readdir (DH 1) |
540 | Tau |
541 | RV_bytes("f1.txt") |
542 | readdir (DH 1) |
543 | Tau |
544 | RV_none |
545 | readdir (DH 2) |
546 | Tau |
547 | RV_bytes("f5.txt") |
548 | readdir (DH 2) |
549 | Tau |
550 | RV_bytes("f1.txt") |
551 | readdir (DH 2) |
552 | Tau |
553 | RV_none |
554 | rewinddir (DH 1) |
555 | Tau |
556 | RV_none |
557 | readdir (DH 1) |
558 | Tau |
559 | RV_bytes(".") |
560 | readdir (DH 2) |
561 | Tau |
562 | RV_none |
563 | readdir (DH 1) |
564 | Tau |
565 | RV_bytes("..") |
566 | readdir (DH 2) |
567 | Tau |
568 | RV_none |
569 | readdir (DH 1) |
570 | Tau |
571 | RV_bytes("f2-changed.txt") |
572 | readdir (DH 2) |
573 | Tau |
574 | RV_none |
575 | readdir (DH 1) |
576 | Tau |
577 | RV_bytes("f4.txt") |
578 | readdir (DH 2) |
579 | Tau |
580 | RV_none |
581 | readdir (DH 1) |
582 | Tau |
583 | RV_bytes("f3.txt") |
584 | readdir (DH 2) |
585 | Tau |
586 | RV_none |
587 | closedir (DH 2) |
588 | Tau |
589 | RV_none |
590 | closedir (DH 1) |
591 | Tau |
592 | RV_none |
593 | |
594 | # ################################### |
595 | # Test 7 |
596 | # rewinddir on not existing DH |
597 | # ################################### |
598 | |
599 | rewinddir (DH 799) |
600 | Tau |
601 | EBADF |
602 | |
603 | # ################################### |
604 | # Test 8 |
605 | # opendir on file |
606 | # ################################### |
607 | |
608 | open_close "f1.txt" [O_CREAT;O_RDWR] 0o666 |
609 | Tau |
610 | RV_none |
611 | opendir "f1.txt" |
612 | Tau |
613 | ENOTDIR |
614 | |
615 | # ################################### |
616 | # Test 9 |
617 | # opendir on not existing directory |
618 | # ################################### |
619 | |
620 | opendir "/ciaociao" |
621 | Tau |
622 | ENOENT |
623 | |
624 | # ################################### |
625 | # Test 10 |
626 | # opendir on symlink |
627 | # ################################### |
628 | symlink "/d1" "/my_symlink" |
629 | Tau |
630 | RV_none |
631 | opendir "/my_symlink" |
632 | Tau |
633 | RV_num(1) |
634 | closedir (DH 1) |
635 | Tau |
636 | RV_none |
637 | |
638 | # ################################### |
639 | # Test 11 |
640 | # opendir on erroneous path |
641 | # ################################### |
642 | |
643 | opendir "" |
644 | Tau |
645 | ENOENT |
646 | |
647 | # ################################### |
648 | # Test 12 |
649 | # readdir on unexisting dh |
650 | # ################################### |
651 | |
652 | readdir (DH 999) |
653 | Tau |
654 | EBADF |
655 | |
656 | # ################################### |
657 | # Test 13 |
658 | # closedir on unexisting dh |
659 | # ################################### |
660 | |
661 | closedir (DH 999) |
662 | Tau |
663 | EBADF |
664 | |
665 |