[ 0:01] compiling /home/xrockai/src/divine/nightly/test/c/2.vla-interrupted.c [ 0:01] /home/xrockai/src/divine/nightly/test/c/2.vla-interrupted.c:14:12: warning: incompatible integer to pointer conversion returning 'int' from a function with result type 'void *' [ 0:01] return 1; [ 0:01] ^ [ 0:01] 1 warning generated. [ 0:01] states per second: 3.10559 [ 0:18] state count: 9 [ 0:18] mips: 0.36 [ 0:18] error found: no [ 0:18] a report was written to verify.out