[ 0:00] | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec1_product26_false.cil.c email_spec1_product26_false.cil.c [ 0:00] | expect --result error --location email_spec1_product26_false.cil.c:1109 [ 0:00] | expect --trace FAULT: --trace-count 1 [ 0:00] | cc -o testcase.bc email_spec1_product26_false.cil.c [ 0:00] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver z3 --symbolic -o nofail:malloc -o ignore:control testcase.bc [ 0:00] compiling email_spec1_product26_false.cil.c [ 0:00] email_spec1_product26_false.cil.c:2626: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_spec1_product26_false.cil.c:2626: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:03] booting … done [ 0:03] searching: 26 states in 1:00, avg 0.4/s @ 59.9 kips, queued: 0 [ 1:04] searching: 26 states in 2:00, avg 0.2/s @ 53.7 kips, queued: 0 [ 2:04] searching: 139 states in 3:00, avg 0.8/s @ 56.6 kips, queued: 0 [ 3:04] searching: 139 states in 4:00, avg 0.6/s @ 64.5 kips, queued: 0 [ 4:04] searching: 287 states in 5:00, avg 1.0/s @ 71.1 kips, queued: 4 [ 5:04] searching: 287 states in 6:00, avg 0.8/s @ 75.9 kips, queued: 4 [ 6:04] searching: 436 states in 7:00, avg 1.0/s @ 82.3 kips, queued: 8 [ 7:04] searching: 584 states in 8:00, avg 1.2/s @ 91.3 kips, queued: 12 [ 8:04] searching: 584 states in 9:00, avg 1.1/s @ 96.9 kips, queued: 12 [ 9:03] searching: 732 states in 10:00, avg 1.2/s @ 101.1 kips, queued: 16 [10:04] states per second: 1.21999 [10:04] state count: 732 [10:04] mips: 0.1 [10:04] E: resource exhausted: time limit (600s / 600s)