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_create_owner-int.trace' ...
2 @type trace
3 # Test the default ownership of various types of nodes
4
5 Pid 2 -> create (User_id 1) (Group_id 1)
6
7 Pid 2 -> symlink "b" "a"
8 Tau
9 EACCES
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_none
expected value RV_none but got error EACCES