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