[ 0:01] + divine cc -o testcase.bc /home/xrockai/src/divine/nightly/test/sym/libc/atoi.c
[ 0:01] compiling /home/xrockai/src/divine/nightly/test/sym/libc/atoi.c
[ 0:01] + divine verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver z3 --symbolic testcase.bc
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:02] booting … done
[ 0:02] searching:   133687 states in  1:00, avg  2227.8/s @ 287.4 kips, queued: 172
[ 1:03] states per second: 1299.03
[ 1:54] state count: 145383
[ 1:54] mips: 0.17
[ 1:54] symbolic: 1
[ 1:54] error found: no
[ 1:54] a report was written to verify.out