From 66e299cfce8eb4456ef275cbc3ceb661601e217c Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Fri, 21 Feb 2025 10:13:47 +0100 Subject: [PATCH] intermediat snapshots _at_xh --- fuzzers/FRET/src/systemstate/feedbacks.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/fuzzers/FRET/src/systemstate/feedbacks.rs b/fuzzers/FRET/src/systemstate/feedbacks.rs index cefbee1e63..a86596bf2d 100644 --- a/fuzzers/FRET/src/systemstate/feedbacks.rs +++ b/fuzzers/FRET/src/systemstate/feedbacks.rs @@ -56,11 +56,11 @@ where where { match &self.dumpfile { Some(s) => { - let time_has_come = self.last_dump.map(|t| Instant::now()-t > Duration::from_secs(1200)).unwrap_or(true); + let time_has_come = self.last_dump.map(|t| Instant::now()-t > Duration::from_secs(600)).unwrap_or(true); if time_has_come { self.last_dump = Some(Instant::now()); // Try dumping the worst case - let casename = s.with_extension(format!("at_{}h.case", (Instant::now()-self.init_time).as_secs()/3600)); + let casename = s.with_file_name(&(s.file_stem().unwrap().to_str().unwrap().to_owned()+&format!("_at_{}h", (Instant::now()-self.init_time).as_secs()/3600))).with_extension("case"); let corpus = state.corpus(); let mut worst = Duration::new(0,0); let mut worst_input = None;