[ 0:00] | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec27_product25_false.cil.c email_spec27_product25_false.cil.c [ 0:00] | expect --result error --location email_spec27_product25_false.cil.c:2630 [ 0:00] | expect --trace FAULT: --trace-count 1 [ 0:00] | cc -o testcase.bc email_spec27_product25_false.cil.c [ 0:00] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver stp --symbolic -o nofail:malloc -o ignore:control testcase.bc [ 0:00] compiling email_spec27_product25_false.cil.c [ 0:00] email_spec27_product25_false.cil.c:2264:44: warning: incompatible redeclaration of library function 'malloc' [ 0:00] extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ; [ 0:00] ^ [ 0:00] email_spec27_product25_false.cil.c:2264:44: note: 'malloc' is a builtin with type 'void *(unsigned long)' [ 0:00] 1 warning generated. [ 0:00] loading bitcode … DiOS … LART … RR … constants … done [ 0:13] booting … done [ 0:14] searching: 410 states in 1:00, avg 6.8/s @ 294.3 kips, queued: 18 [ 1:14] searching: 1382 states in 2:00, avg 11.5/s @ 394.4 kips, queued: 46 [ 2:14] searching: 2142 states in 3:00, avg 11.9/s @ 419.4 kips, queued: 70 [ 3:13] searching: 3084 states in 4:00, avg 12.8/s @ 432.4 kips, queued: 90 [ 4:14] searching: 3992 states in 5:00, avg 13.3/s @ 442.6 kips, queued: 118 [ 5:13] searching: 4902 states in 6:00, avg 13.6/s @ 449.9 kips, queued: 146 [ 6:13] searching: 6516 states in 7:00, avg 15.5/s @ 456.1 kips, queued: 164 [ 7:14] searching: 8202 states in 8:00, avg 17.1/s @ 460.0 kips, queued: 184 [ 8:14] searching: 9926 states in 9:00, avg 18.4/s @ 465.7 kips, queued: 202 [ 9:13] searching: 11650 states in 10:00, avg 19.4/s @ 469.7 kips, queued: 220 [10:14] states per second: 19.4165 [10:14] state count: 11650 [10:14] mips: 0.47 [10:14] E: resource exhausted: time limit (600s / 600s)