diff --git a/src/actsim_agent/log_parser.cpp b/src/actsim_agent/log_parser.cpp index 9299c6f..88b32ee 100644 --- a/src/actsim_agent/log_parser.cpp +++ b/src/actsim_agent/log_parser.cpp @@ -96,10 +96,8 @@ void LogParser::finalize() { if (has_reference) { // model has not sent all tokens yet - if (artifact->get_output_token_timings().size() < reference->get_output_token_timings().size()) { + if (dut_output_tokens_ < (reference->get_output_token_timings().size() -1)) { - std::cout << "Token count based deadlock, reference had " << reference->get_output_token_timings().size() << " dut had " << artifact->get_output_token_timings().size() << std::endl; - // a deadlock must have occured artifact->set_fault_deadlock(true); failure_mode = true;