[ 0:00] compiling /home/xrockai/src/divine/nightly/test/pthread/2.join.c [ 0:00] /home/xrockai/src/divine/nightly/test/pthread/2.join.c:6:13: warning: incompatible integer to pointer conversion returning 'int' from a function with result type 'void *' [ 0:00] return 1; [ 0:00] ^ [ 0:00] /home/xrockai/src/divine/nightly/test/pthread/2.join.c:16:16: warning: comparison between pointer and integer ('void *' and 'int') [ 0:00] assert( i == 1 ); [ 0:00] ~ ^ ~ [ 0:00] /divine/include/libc/include/assert.h:64:15: note: expanded from macro 'assert' [ 0:00] do { if(!(expression)) { \ [ 0:00] ^ [ 0:00] 2 warnings generated. [ 0:00] states per second: 7.67414 [ 0:15] state count: 13 [ 0:15] mips: 0.35 [ 0:15] error found: no [ 0:15] a report was written to verify.out