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