[ 0:00] --symbolic -o nofail:malloc [ 0:00] compiling /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec1_productSimulator_false.cil.c [ 0:00] /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec1_productSimulator_false.cil.c:478:44: warning: incompatible redeclaration of library function 'malloc' [ 0:00] extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ; [ 0:00] ^ [ 0:00] /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec1_productSimulator_false.cil.c:478:44: note: 'malloc' is a builtin with type 'void *(unsigned long)' [ 0:00] 1 warning generated.