From 5e29f4b909ea6b0409bf0aa7c551273888412f1d Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Fri, 14 Jun 2024 14:00:09 +0200
Subject: [PATCH] always dump error case during fuzzing

---
 fuzzers/FRET/src/fuzzer.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/fuzzer.rs b/fuzzers/FRET/src/fuzzer.rs
index 91f2aa95a7..ec199f1fca 100644
--- a/fuzzers/FRET/src/fuzzer.rs
+++ b/fuzzers/FRET/src/fuzzer.rs
@@ -549,7 +549,7 @@ let mut run_client = |state: Option<_>, mut mgr, _core_id| {
         );
 
         // A feedback to choose if an input is a solution or not
-        let mut objective = feedback_or_fast!(CrashFeedback::new(), TimeoutFeedback::new(), SystraceErrorFeedback::new(cli.dump_cases));
+        let mut objective = feedback_or_fast!(CrashFeedback::new(), TimeoutFeedback::new(), SystraceErrorFeedback::new(cli.dump_cases || matches!(cli.command, Commands::Fuzz{..})));
 
         // If not restarting, create a State from scratch
         let mut state = state.unwrap_or_else(|| {