KLEE: Using STP solver backend
KLEE: ERROR: /home/klee/source/bench_sensor2.cpp:29: ASSERTION FAIL: interrupt == tig.triggered_irq
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /home/klee/source/bench/util/tlm_map.h:91: ASSERTION FAIL: (addr + len <= end) && "memory out of bounds access"
KLEE: NOTE: now ignoring this error at this location
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: /home/klee/source/bench_sensor2.cpp:57: ASSERTION FAIL: rand_value < 58
KLEE: NOTE: now ignoring this error at this location