[ 0:01] compiling /home/xrockai/src/divine/nightly/test/pthread/3.atfork-threaded-complex.c [ 0:01] /home/xrockai/src/divine/nightly/test/pthread/3.atfork-threaded-complex.c:31:9: warning: '_POSIX_C_SOURCE' macro redefined [ 0:01] #define _POSIX_C_SOURCE 200112L [ 0:01] ^ [ 0:01] :310:9: note: previous definition is here [ 0:01] #define _POSIX_C_SOURCE 2008098L [ 0:01] ^ [ 0:01] 1 warning generated. [ 0:01] states per second: 6.29423 [ 0:40] state count: 161 [ 0:40] mips: 0.36 [ 0:40] error found: no [ 0:40] a report was written to verify.out