From 08019ae94f5ec429feb45040ac65acb5d9334d27 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Wed, 21 May 2025 08:22:20 +0000
Subject: [PATCH] fix partial eq for refined tcb; remains unused

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

diff --git a/fuzzers/FRET/src/systemstate/target_os/freertos/mod.rs b/fuzzers/FRET/src/systemstate/target_os/freertos/mod.rs
index 94a05acb5b..3efda578e3 100644
--- a/fuzzers/FRET/src/systemstate/target_os/freertos/mod.rs
+++ b/fuzzers/FRET/src/systemstate/target_os/freertos/mod.rs
@@ -325,7 +325,7 @@ impl PartialEq for RefinedTCB {
         #[cfg(feature = "do_hash_notify_state")]
         let ret = ret && self.notify_state == other.notify_state;
         #[cfg(feature = "do_hash_notify_value")]
-        let ret = ret && self.notify_state == other.notify_state;
+        let ret = ret && self.notify_value == other.notify_value;
         ret
     }
 }