[ 0:01]   | load /home/xrockai/src/divine/nightly/test/vm/ptr-on-offset-4.c ptr-on-offset-4.c
[ 0:01]   | expect --result valid
[ 0:01]   | cc -o testcase.bc ptr-on-offset-4.c
[ 0:01]   | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit testcase.bc
[ 0:01] compiling ptr-on-offset-4.c
[ 0:01] ptr-on-offset-4.c:8:11: warning: incompatible pointer types initializing 'int **' with an expression of type 'char *'
[ 0:01]     int **ptr = &array[4];
[ 0:01]           ^     ~~~~~~~~~
[ 0:01] ptr-on-offset-4.c:14:11: warning: incompatible pointer types initializing 'int **' with an expression of type 'char *'
[ 0:01]     int **ptr2 = &array[12];
[ 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: 90.9091
[ 0:04] state count: 3
[ 0:04] mips: 0.2
[ 0:04] error found: no