KLEE: Using STP solver backend
KLEE: ERROR: /home/klee/source/bench/util/memory_map.h:97: ASSERTION FAIL: local_addr + len <= mem.size()
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/llvm-60-install_O_D_A/bin/../include/c++/v1/new:236: memory error: invalid pointer: free
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: (location information missing) abort failure
KLEE: NOTE: now ignoring this error at this location