Minimizer fix (AFLplusplus#2500)

* Clear potentially out of date id * fmt * add mut
cube0x8 · Aug 27, 2024 · a8bccf9 · a8bccf9
1 parent 3ca906b
commit a8bccf9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libafl/src/corpus/minimizer.rs b/libafl/src/corpus/minimizer.rs
@@ -238,6 +238,8 @@ where
                     .scheduler_mut()
                     .on_remove(state, id, &Some(removed))?;
             }
+
+            *state.corpus_mut().current_mut() = None; //we may have removed the current ID from the corpus
             Ok(())
         } else {
             Err(Error::unknown("Corpus minimization failed; unsat."))