From fa0ce2f32175958cd8c7a40e816a3418881d069e Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Sun, 2 Feb 2025 22:53:27 +0100
Subject: [PATCH] new attempt for deadlock and token fault detection

---
 src/actsim_agent/log_parser.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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;