SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Test: hash notification states

Browse Source
This commit is contained in:
Alwin Berger 2023-04-24 12:51:09 +02:00
parent ee15313d96
commit 0e5dc21cd6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fuzzers/FRET/src/systemstate/mod.rs
View File

@ -55,9 +55,9 @@ pub struct RefinedTCB {
impl Hash for RefinedTCB { impl Hash for RefinedTCB {
fn hash<H: Hasher>(&self, state: &mut H) { fn hash<H: Hasher>(&self, state: &mut H) {
self.task_name.hash(state); self.task_name.hash(state);
// self.priority.hash(state); self.priority.hash(state);
// self.mutexes_held.hash(state); self.mutexes_held.hash(state);
// self.notify_state.hash(state); self.notify_state.hash(state);
// self.notify_value.hash(state); // self.notify_value.hash(state);
} }
} }