[ 0:01] | load /home/xrockai/src/divine/nightly/test/pthread/div/exit.c exit.c [ 0:01] | expect --result valid [ 0:01] | cc -o testcase.bc exit.c [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit testcase.bc [ 0:01] compiling exit.c [ 0:01] exit.c:6:20: warning: incompatible integer to pointer conversion passing 'int' to parameter of type 'void *' [ 0:01] pthread_exit( 1 ); [ 0:01] ^ [ 0:01] /dios/include/pthread.h:187:44: note: passing argument to parameter here [ 0:01] _PDCLIB_noreturn void pthread_exit( void * ) _PTHREAD_NOEXCEPT _PTHREAD_NOINLINE; [ 0:01] ^ [ 0:01] exit.c:15:16: warning: comparison between pointer and integer ('void *' and 'int') [ 0:01] assert( i == 1 ); [ 0:01] ~ ^ ~ [ 0:01] /dios/include/assert.h:20:24: note: expanded from macro 'assert' [ 0:01] # define assert(e) ( (e) ? (void) 0 : __assert_fail(#e, __FILE__, __LINE__, __PRETTY_FUNCTION__) ) [ 0:01] ^ [ 0:01] 2 warnings generated. [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:04] booting … done [ 0:04] states per second: 143.939 [ 0:04] state count: 19 [ 0:04] mips: 0.27 [ 0:04] error found: no