[ 0:01] --symbolic -o nofail:malloc [ 0:01] compiling /home/xrockai/src/divine/nightly/test/svcomp/product-lines/minepump_spec1_productSimulator_false.cil.c [ 0:01] /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:01] extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ; [ 0:01] ^ [ 0:01] /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:01] 1 warning generated.