Up

Traces

linux[3.13.0-29-generic][system[GNU C Library (GNU libc) stable release version 2.21, by Roland McGrath et al.]][ext4_loop[mke2fs 1.42.9 (4-Feb-2014)]]@[2015-07-24T13:23:26Z./nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test]

Checked Trace
linux_spec@[/nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-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