Up

Traces

linux[4.2.5-1-ARCH][system[GNU C Library (GNU libc) stable release version 2.22, by Roland McGrath et al.]][path=/mnt/flashix/[unknown]]@[2015-12-14T16:11:13Z./nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test]

Checked Trace
linux_spec@[/nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test] sexp stdout stderr
Traced Execution stdout stderr
Script script

Combined Trace

1 # processing file 'adhoc_rmdir_root-int.trace' ...
2 @type trace
3
4 # Try to remove the root directory by various names
5
6 rmdir "/"
7 Tau
8 EBUSY
9 rmdir "//"
10 Tau
11 EBUSY
12 rmdir "///"
13 Tau
14 EBUSY
15
16 rmdir "/."
17 Tau
18 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
19 rmdir "/.."
20 Tau
21 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
22 rmdir "//."
23 Tau
24 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
25 rmdir "//.."
26 Tau
27 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
28 rmdir "///."
29 Tau
30 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
31 rmdir "///.."
32 Tau
33 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
34
35 rmdir "/./"
36 Tau
37 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
38 rmdir "/.//"
39 Tau
40 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
41 rmdir "/.///"
42 Tau
43 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
44 rmdir "/../"
45 Tau
46 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
47 rmdir "/..//"
48 Tau
49 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
50 rmdir "/..///"
51 Tau
52 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
53
54 rmdir ".."
55 Tau
56 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
57 rmdir "../"
58 Tau
59 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
60 rmdir "..//"
61 Tau
62 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
63 rmdir "..///"
64 Tau
65 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
66
67 rmdir "."
68 Tau
69 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
70 rmdir "./"
71 Tau
72 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
73 rmdir ".//"
74 Tau
75 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
76 rmdir ".///"
77 Tau
78 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
79
80 rmdir "../."
81 Tau
82 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
83 rmdir "..//."
84 Tau
85 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
86 rmdir "..///."
87 Tau
88 EINVAL
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error EINVAL
89
90 rmdir "../.."
91 Tau
92 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
93 rmdir "..//.."
94 Tau
95 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
96 rmdir "..///.."
97 Tau
98 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
99
100 rmdir "../../"
101 Tau
102 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
103 rmdir "../..//"
104 Tau
105 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
106 rmdir "../..///"
107 Tau
108 ENOTEMPTY
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • EBUSY
expected error EBUSY but got error ENOTEMPTY
109
110 rmdir ""
111 Tau
112 ENOENT
113
114