From f1affaabff5efa35f212f4a40c0469569c30baf1 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Tue, 29 Oct 2024 18:21:46 +0100 Subject: [PATCH] impl RemovableScheduler for GenerationScheduler --- fuzzers/FRET/src/systemstate/schedulers.rs | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/fuzzers/FRET/src/systemstate/schedulers.rs b/fuzzers/FRET/src/systemstate/schedulers.rs index 401364dbbb..dc8e2453e4 100644 --- a/fuzzers/FRET/src/systemstate/schedulers.rs +++ b/fuzzers/FRET/src/systemstate/schedulers.rs @@ -265,6 +265,31 @@ where // } } +impl RemovableScheduler for GenerationScheduler +where + S: State + HasCorpus + HasMetadata, +{ + /// Replaces the testcase at the given idx + fn on_replace( + &mut self, + state: &mut ::State, + idx: CorpusId, + testcase: &Testcase<<::State as UsesInput>::Input>, + ) -> Result<(), Error> { + Ok(()) + } + + /// Removes an entry from the corpus + fn on_remove( + &mut self, + state: &mut ::State, + idx: CorpusId, + testcase: &Option::State as UsesInput>::Input>>, + ) -> Result<(), Error> { + Ok(()) + } +} + impl GenerationScheduler { #[allow(unused)]