gib# out run test/svcomp/product-lines/minepump_spec2_product42_false.cil.chk.c gib# cmd /usr/bin/env gib# srcdir=/home/xrockai/src/divine/nightly gib# PATH=/home/xrockai/src/divine/nightly/test/lib:/usr/bin:/bin:/opt/klee/bin gib# sh gib# /home/xrockai/src/divine/nightly/test/lib/check gib# test/svcomp/product-lines/minepump_spec2_product42_false.cil.chk.c expect --result error --location-comment ERROR cc -o test.bc /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec2_product42_false.cil.chk.c verify --symbolic --solver stp -o nofail:malloc test.bc compiling /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec2_product42_false.cil.chk.c /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec2_product42_false.cil.chk.c:49:44: warning: incompatible redeclaration of library function 'malloc' extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ; ^ /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec2_product42_false.cil.chk.c:49:44: note: 'malloc' is a builtin with type 'void *(unsigned long)' 1 warning generated. loading bitcode … DiOS … LART … RR … constants … done booting … done searching: 145 states in 1:00, avg 2.4/s @ 97.8 kips, queued: 2 searching: 289 states in 2:00, avg 2.4/s @ 217.8 kips, queued: 12 [error] …/nightly/bricks/brick-hashset:721: outcome == table::Empty outcome = found table::Empty = empty Aborted