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(&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); } }