[ 0:01] compiling /home/xrockai/src/divine/nightly/test/pthread/2.exit.c
[ 0:01] /home/xrockai/src/divine/nightly/test/pthread/2.exit.c:5:20: warning: incompatible integer to pointer conversion passing 'int' to parameter of type 'void *'
[ 0:01]      pthread_exit( 1 );
[ 0:01]                    ^
[ 0:01] /divine/include/libc/include/pthread.h:173:27: note: passing argument to parameter here
[ 0:01] void pthread_exit( void * ) _PTHREAD_NOEXCEPT _PTHREAD_NOINLINE /* XXX _PTHREAD_UNSUPPORTED */;
[ 0:01]                           ^
[ 0:01] /home/xrockai/src/divine/nightly/test/pthread/2.exit.c:14:16: warning: comparison between pointer and integer ('void *' and 'int')
[ 0:01]      assert( i == 1 );
[ 0:01]              ~ ^  ~
[ 0:01] /divine/include/libc/include/assert.h:64:15: note: expanded from macro 'assert'
[ 0:01]     do { if(!(expression)) { \
[ 0:01]               ^
[ 0:01] 2 warnings generated.
[ 0:01] states per second: 7.64706
[ 0:17] state count: 13
[ 0:17] mips: 0.35
[ 0:17] error found: no
[ 0:17] a report was written to verify.out