[ 0:00] | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec0_product31_false.cil.c email_spec0_product31_false.cil.c [ 0:00] | expect --result error --location email_spec0_product31_false.cil.c:1768 [ 0:00] | expect --trace FAULT: --trace-count 1 [ 0:00] | cc -o testcase.bc email_spec0_product31_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_spec0_product31_false.cil.c [ 0:00] email_spec0_product31_false.cil.c:457: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_spec0_product31_false.cil.c:457: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:04] booting … done [ 0:04] searching: 1102 states in 1:00, avg 18.4/s @ 0.5 mips, queued: 28 [ 1:04] searching: 2363 states in 2:00, avg 19.7/s @ 0.6 mips, queued: 68 [ 2:04] searching: 3697 states in 3:00, avg 20.5/s @ 0.6 mips, queued: 108 [ 3:04] searching: 5031 states in 4:00, avg 21.0/s @ 0.6 mips, queued: 152 [ 4:04] searching: 7029 states in 5:00, avg 23.4/s @ 0.6 mips, queued: 176 [ 5:04] searching: 7029 states in 6:00, avg 19.5/s @ 467.9 kips, queued: 176 [ 6:04] searching: 7029 states in 7:00, avg 16.7/s @ 401.0 kips, queued: 176 [ 7:04] searching: 7029 states in 8:00, avg 14.6/s @ 350.9 kips, queued: 176 [ 8:04] searching: 7029 states in 9:00, avg 13.0/s @ 311.9 kips, queued: 176 [ 9:04] searching: 7029 states in 10:00, avg 11.7/s @ 280.7 kips, queued: 176 [10:04] states per second: 11.7149 [10:04] state count: 7029 [10:04] mips: 0.28