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_lseek_test_SEEK_DATA-int.trace' ...
2 @type trace
3 # #############################################
4 # for coverage purposes test lseek SEEK_DATA
5 # #############################################
6 mkdir "d1" 0o777
7 Tau
8 RV_none
9
10 open "d1" [O_RDONLY]
11 Tau
12 RV_num(3)
13 lseek (FD 3) 0 SEEK_DATA
14 Tau
special states found: - OS_special (FIXME, "lseek: SEEK_DATA and SEEK_HOLE are unsupported by this spec")
no normal result states
Generated by SibylFS /nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test