diff --git a/src/experiments/ecos_kernel_test/experiment.cc b/src/experiments/ecos_kernel_test/experiment.cc index 5b0b50e4..32d38279 100644 --- a/src/experiments/ecos_kernel_test/experiment.cc +++ b/src/experiments/ecos_kernel_test/experiment.cc @@ -756,7 +756,7 @@ bool EcosKernelTestExperiment::faultInjection() { result->set_latest_ip(simulator.getCPU(0).getInstructionPointer()); // record error_corrected regardless of result - if (addr_errors_corrected != ADDR_INV) { + if ( (addr_errors_corrected != ADDR_INV) && mm.isMapped(addr_errors_corrected) ) { int32_t error_corrected = mm.getByte(addr_errors_corrected); result->set_error_corrected(error_corrected ? result->TRUE : result->FALSE); } else {