[ 0:01] compiling /home/xrockai/src/divine/nightly/test/pthread/2.atfork-threaded-simple.c
[ 0:01] /home/xrockai/src/divine/nightly/test/pthread/2.atfork-threaded-simple.c:43:9: warning: '_POSIX_C_SOURCE' macro redefined
[ 0:01] #define _POSIX_C_SOURCE 200112L
[ 0:01]         ^
[ 0:01] <built-in>: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: 4.66006
[ 0:27] state count: 56
[ 0:27] mips: 0.36
[ 0:27] error found: no
[ 0:27] a report was written to verify.out