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_cwd-int.trace' ...
2 @type trace
3
4 # Try to operate in a directory which has been removed
5
6 Pid 2 -> create (User_id 0) (Group_id 0)
7
8 opendir "/"
9 Tau
10 RV_num(1)
11 readdir (DH 1)
12 Tau
13 RV_bytes(".")
14 readdir (DH 1)
15 Tau
16 RV_bytes("..")
17 readdir (DH 1)
18 Tau
19 RV_none
20 closedir (DH 1)
21 Tau
22 RV_none
23
24 mkdir "/dmz" 0o777
25 Tau
26 RV_none
27
28 chdir "/dmz"
29 Tau
30 RV_none
31
32 stat "."
33 Tau
34
RV_stat {
st_dev=42;
st_ino= 286994;
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
35
36 mkdir "subdir" 0o600
37 Tau
38 RV_none
39
40 stat "."
41 Tau
42
RV_stat {
st_dev=42;
st_ino= 286994;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 1;
}
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=3;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 3 but got st_nlink 1
43
44 opendir "."
45 Tau
46 RV_num(1)
47 readdir (DH 1)
48 Tau
49 RV_bytes(".")
50 readdir (DH 1)
51 Tau
52 RV_bytes("..")
53 readdir (DH 1)
54 Tau
55 RV_bytes("subdir")
56 readdir (DH 1)
57 Tau
58 RV_none
59 closedir (DH 1)
60 Tau
61 RV_none
62
63 opendir "."
64 Tau
65 RV_num(1)
66
67 Pid 2 -> rmdir "/dmz/subdir"
68 Tau
69 RV_none
70 Pid 2 -> rmdir "/dmz"
71 Tau
72 RV_none
73
74 stat "."
75 Tau
76 ENOENT
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=1;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected value RV_stat { st_dev=2049; st_ino=1; st_kind=S_IFDIR; st_perm=0o755; st_nlink=1; st_uid=0; st_gid=0; st_rdev=0; st_size=9999; } but got error ENOENT