KLEE: Using STP solver backend
KLEE: ERROR: /home/klee/source/bench/plic.hpp:81: ASSERTION FAIL: irq_id > 0 && irq_id <= NumberInterrupts
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /home/klee/source/bench_plic.cpp:69: ASSERTION FAIL: after-before == sc_core::sc_time(10, sc_core::SC_NS)
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: /home/klee/source/bench_plic.cpp:78: ASSERTION FAIL: dut.pending_interrupts[0] == 0 && dut.pending_interrupts[1] == 0
KLEE: NOTE: now ignoring this error at this location