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_rename_link_count_dir_same_parent-int.trace' ...
2 @type trace
3
4 # ##########################################
5 # Test link count of files after rename
6 # ##########################################
7 mkdir "/nonempty_dir2" 0o777
8 Tau
9 RV_none
10
11 stat "/nonempty_dir2"
12 Tau
13
RV_stat {
st_dev=42;
st_ino= 317740;
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
14
15 mkdir "/nonempty_dir2/mydir" 0o777
16 Tau
17 RV_none
18
19 stat "/nonempty_dir2/mydir"
20 Tau
21
RV_stat {
st_dev=42;
st_ino= 317744;
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= 2;
    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
22
23
24 # test that renaming a directory in the same parent does not change the count
25
26 rename "/nonempty_dir2/mydir" "/nonempty_dir2/mydir2"
27 Tau
28 RV_none
29
30 stat "/nonempty_dir2"
31 Tau
32
RV_stat {
st_dev=42;
st_ino= 317740;
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
33
34 stat "/nonempty_dir2/mydir2"
35 Tau
36
RV_stat {
st_dev=42;
st_ino= 317744;
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= 2;
    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
37
38