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_unlink_restricted_delete_write_dir-int.trace' ...
2 @type trace
3
4 # NOTE: this trace must be checked with the --root option of check.native
5
6 # ####################################
7
8 # Test restricted delete permissions rsrc
9
10 # ####################################
11
12
13 Pid 2 -> create (User_id 1) (Group_id 0)
14
15 Pid 1 -> chmod "/" 0o1777
16 Tau
17 RV_none
18
19 Pid 2 -> mkdir "/dir" 0o1777
20 Tau
21 EACCES
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_none
expected value RV_none but got error EACCES