From 0a6888d06afb7501471775b9c0526ec009258fd3 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Tue, 29 Oct 2024 18:10:16 +0100 Subject: [PATCH] add pruning message --- fuzzers/FRET/src/systemstate/report.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fuzzers/FRET/src/systemstate/report.rs b/fuzzers/FRET/src/systemstate/report.rs index 7c96a3501c..3ef4f62f8e 100644 --- a/fuzzers/FRET/src/systemstate/report.rs +++ b/fuzzers/FRET/src/systemstate/report.rs @@ -98,7 +98,7 @@ where { const PRUNE_THRESHOLD: usize = 200; if state.corpus().count() > PRUNE_THRESHOLD*vc { - // println!("Pruning corpus, keeping {} / {}", PRUNE_THRESHOLD*vc); + println!("Pruning corpus, keeping {} / {}", PRUNE_THRESHOLD*vc, state.corpus().count()); let corpus = state.corpus_mut(); let currid = corpus.current(); let ids : Vec<_> = corpus.ids().filter_map(|x| {