From ad8cecdba44431b33d5362fcd72472a195042724 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 24 Apr 2023 12:51:09 +0200
Subject: [PATCH] Test: hash notification states

---
 fuzzers/FRET/src/systemstate/mod.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/fuzzers/FRET/src/systemstate/mod.rs b/fuzzers/FRET/src/systemstate/mod.rs
index 4e9775d7d6..83063310ef 100644
--- a/fuzzers/FRET/src/systemstate/mod.rs
+++ b/fuzzers/FRET/src/systemstate/mod.rs
@@ -55,9 +55,9 @@ pub struct RefinedTCB {
 impl Hash for RefinedTCB {
     fn hash<H: Hasher>(&self, state: &mut H) {
         self.task_name.hash(state);
-        // self.priority.hash(state);
-        // self.mutexes_held.hash(state);
-        // self.notify_state.hash(state);
+        self.priority.hash(state);
+        self.mutexes_held.hash(state);
+        self.notify_state.hash(state);
         // self.notify_value.hash(state);
     }
 }