KLEE: Using STP solver backend
KLEE: ERROR: /home/klee/source/bench/util/tlm_map.h:177: ASSERTION FAIL: len + (addr % 4) <= 4
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /home/klee/source/bench/util/tlm_map.h:232: ASSERTION FAIL: false && "access of unmapped address (local TLM router)"
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