fix partial eq for refined tcb; remains unused

2025-05-21 08:22:20 +00:00 · 2025-05-21 08:22:20 +00:00 · 08019ae94f
commit 08019ae94f
parent fc68b55749
1 changed files with 1 additions and 1 deletions
--- 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
    }
 }