[ 0:01]   | load /home/xrockai/src/divine/nightly/test/pthread/div/join.c join.c
[ 0:01]   | expect --result valid
[ 0:01]   | cc -o testcase.bc join.c
[ 0:01]   | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit testcase.bc
[ 0:01] compiling join.c
[ 0:01] join.c:7:13: warning: incompatible integer to pointer conversion returning 'int' from a function with result type 'void *'
[ 0:01]      return 1;
[ 0:01]             ^
[ 0:01] join.c:17: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:03] booting … done
[ 0:03] states per second: 180.952
[ 0:04] state count: 19
[ 0:04] mips: 0.28
[ 0:04] error found: no