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 'rmdir___rmdir_nonempty_dir2__f1.txt-int.trace' ...
2 @type trace
3 # ####################################
4 # Test rmdir___rmdir_nonempty_dir2__f1.txt
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 rmdir "nonempty_dir2/f1.txt"
74 Tau
75 ENOTDIR
76
77 dump-result /
/ D 30
/empty_dir1 D 65281
/empty_dir2 D 65282
/nonempty_dir1 D 65283
/nonempty_dir1/f1.txt F 26 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/nonempty_dir1/sl_f1.txt L f1.txt
/nonempty_dir1/d2 D 65284
/nonempty_dir1/d2/f3.txt F 21 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 65285
/nonempty_dir2 D 32645
/nonempty_dir2/f1.txt F 28 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/nonempty_dir2/f2.txt F 29 167 d09f4e47c22373e56c2369633ac3dcb71d598601
/nonempty_dir2/d2 D 32646
/nonempty_dir2/d2/sl_f3.txt L ../../nonempty_dir1/d2/f3.txt
/nonempty_dir2/d2/d3 D 32647
78
79
80
81