[ 0:00] | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec27_product35_false.cil.c email_spec27_product35_false.cil.c [ 0:00] | expect --result error --location email_spec27_product35_false.cil.c:1668 [ 0:00] | expect --trace FAULT: --trace-count 1 [ 0:00] | cc -o testcase.bc email_spec27_product35_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_product35_false.cil.c [ 0:00] email_spec27_product35_false.cil.c:1302: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_product35_false.cil.c:1302: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:13] searching: 484 states in 1:00, avg 8.1/s @ 328.9 kips, queued: 20 [ 1:13] searching: 1234 states in 2:00, avg 10.3/s @ 370.0 kips, queued: 42 [ 2:13] searching: 1994 states in 3:00, avg 11.1/s @ 385.0 kips, queued: 66 [ 3:13] searching: 2808 states in 4:00, avg 11.7/s @ 399.3 kips, queued: 88 [ 4:13] searching: 3716 states in 5:00, avg 12.4/s @ 417.7 kips, queued: 116 [ 5:13] searching: 4541 states in 6:00, avg 12.6/s @ 427.0 kips, queued: 142 [ 6:13] searching: 6172 states in 7:00, avg 14.7/s @ 440.4 kips, queued: 160 [ 7:13] searching: 7763 states in 8:00, avg 16.2/s @ 447.1 kips, queued: 180 [ 8:13] searching: 9663 states in 9:00, avg 17.9/s @ 459.1 kips, queued: 200 [ 9:13] searching: 11428 states in 10:00, avg 19.0/s @ 468.7 kips, queued: 220 [10:13] states per second: 19.0465 [10:13] state count: 11428 [10:13] mips: 0.47 [10:13] E: resource exhausted: time limit (600s / 600s)