From 926ad96b8e308e8b819a0b2181503bb1e7557b04 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Fri, 18 Oct 2024 15:04:47 +0200
Subject: [PATCH] print hash on graph nodes

---
 fuzzers/FRET/src/systemstate/stg.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/systemstate/stg.rs b/fuzzers/FRET/src/systemstate/stg.rs
index 4c893b46a8..8ea58e1eb6 100644
--- a/fuzzers/FRET/src/systemstate/stg.rs
+++ b/fuzzers/FRET/src/systemstate/stg.rs
@@ -70,7 +70,7 @@ impl STGNode {
             0 => format!("Task: {}",self.base.current_task.task_name),
             _ => format!(""),
         };
-        let mut label = format!("{}\nABB: {:x}-{:x}\n{}", message, self.abb.start, self.abb.ends.iter().next().unwrap_or_else(||&0xFFFF), self.base.print_lists());
+        let mut label = format!("{}\nABB: {:x}-{:x}\nHash:{:X}\n{}", message, self.abb.start, self.abb.ends.iter().next().unwrap_or_else(||&0xFFFF), self.base.get_hash()>>48, self.base.print_lists());
         label.push_str(color);
         label
     }