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