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_link_count_symlink-int.trace' ...
2 @type trace
3
4 # ################################################
5 # Test link count of symlinks after link
6 # ################################################
7
8 # a new created file should have link count 1
9
10 symlink "missing" "symlink"
11 Tau
12 RV_none
13 lstat "symlink"
14 Tau
15
RV_stat {
st_dev=42;
st_ino= 241977;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
16
17 # after linking the symlink, both nodes should have link count 2
18
19 link "symlink" "symlink_hl"
20 Tau
21 RV_none
22 lstat "symlink"
23 Tau
24
RV_stat {
st_dev=42;
st_ino= 241977;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
25 lstat "symlink_hl"
26 Tau
27
RV_stat {
st_dev=42;
st_ino= 241979;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
28
29 # keep linking the symlink should keep increasing the link count
30
31 link "symlink_hl" "symlink_hl1"
32 Tau
33 RV_none
34 lstat "symlink"
35 Tau
36
RV_stat {
st_dev=42;
st_ino= 241977;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFLNK;
    st_perm= 0o777;
    st_nlink=3;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 7;
    }
expected st_nlink 3 but got st_nlink 2
37 lstat "symlink_hl"
38 Tau
39
RV_stat {
st_dev=42;
st_ino= 241979;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=3;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
40 lstat "symlink_hl1"
41 Tau
42
RV_stat {
st_dev=42;
st_ino= 241982;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=3;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
43
44 link "symlink_hl1" "symlink_hl2"
45 Tau
46 RV_none
47 lstat "symlink"
48 Tau
49
RV_stat {
st_dev=42;
st_ino= 241977;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFLNK;
    st_perm= 0o777;
    st_nlink=4;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 7;
    }
expected st_nlink 4 but got st_nlink 2
50 lstat "symlink_hl"
51 Tau
52
RV_stat {
st_dev=42;
st_ino= 241979;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=3;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFLNK;
    st_perm= 0o777;
    st_nlink=4;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 7;
    }
expected st_nlink 4 but got st_nlink 3
53 lstat "symlink_hl1"
54 Tau
55
RV_stat {
st_dev=42;
st_ino= 241982;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=4;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
56 lstat "symlink_hl2"
57 Tau
58
RV_stat {
st_dev=42;
st_ino= 241985;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=4;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 7;
}
59
60