[ 0:00] --symbolic -o nofail:malloc
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/svcomp/memsafety/test-0235_false-valid-deref.c