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 'perm_umask_444-int.trace' ...
2 @type trace
3 # ####################################
4 # Test perm_umask_444
5 # ####################################
6
7 # Initialize environment
8
9 umask 0o444
10 Tau
11 RV_file_perm(0o022)
12 umask 0o444
13 Tau
14 RV_file_perm(0o444)
15
16 # Test
17
18 symlink "nonexistent" "sl"
19 Tau
20 RV_none
21 lstat "sl"
22 Tau
23
RV_stat {
st_dev=42;
st_ino= 345249;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 11;
}
24
25 open_close "f_777" [O_CREAT;O_RDWR] 0o777
26 Tau
27 RV_none
28 stat "f_777"
29 Tau
30
RV_stat {
st_dev=42;
st_ino= 345250;
st_kind= S_IFREG;
st_perm= 0o333;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
31
32 mkdir "d_777" 0o777
33 Tau
34 RV_none
35 stat "d_777"
36 Tau
37
RV_stat {
st_dev=42;
st_ino= 345251;
st_kind= S_IFDIR;
st_perm= 0o333;
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= 3;
    st_kind= S_IFDIR;
    st_perm= 0o333;
    st_nlink=2;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
38
39 open_close "f_444" [O_CREAT;O_RDWR] 0o444
40 Tau
41 RV_none
42 stat "f_444"
43 Tau
44
RV_stat {
st_dev=42;
st_ino= 345252;
st_kind= S_IFREG;
st_perm= 0o000;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
45
46 mkdir "d_444" 0o444
47 Tau
48 RV_none
49 stat "d_444"
50 Tau
51
RV_stat {
st_dev=42;
st_ino= 345253;
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= 5;
    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
52
53 open_close "f_322" [O_CREAT;O_RDWR] 0o322
54 Tau
55 RV_none
56 stat "f_322"
57 Tau
58
RV_stat {
st_dev=42;
st_ino= 345254;
st_kind= S_IFREG;
st_perm= 0o322;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
59
60 mkdir "d_322" 0o322
61 Tau
62 RV_none
63 stat "d_322"
64 Tau
65
RV_stat {
st_dev=42;
st_ino= 345255;
st_kind= S_IFDIR;
st_perm= 0o322;
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= 7;
    st_kind= S_IFDIR;
    st_perm= 0o322;
    st_nlink=2;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
66
67 open_close "f_000" [O_CREAT;O_RDWR] 0o000
68 Tau
69 RV_none
70 stat "f_000"
71 Tau
72
RV_stat {
st_dev=42;
st_ino= 345256;
st_kind= S_IFREG;
st_perm= 0o000;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
73
74 mkdir "d_000" 0o000
75 Tau
76 RV_none
77 stat "d_000"
78 Tau
79
RV_stat {
st_dev=42;
st_ino= 345257;
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= 9;
    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
80
81