From d5133e3eaa1a8399106dbfc4f1cf7897b97b280a Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Sun, 2 Feb 2025 22:18:38 +0100
Subject: [PATCH] test for weird deadlocks

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

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