add pruning message

This commit is contained in:
Alwin Berger 2024-10-29 18:10:16 +01:00
parent d88cefb894
commit 0a6888d06a

View File

@ -98,7 +98,7 @@ where
{ {
const PRUNE_THRESHOLD: usize = 200; const PRUNE_THRESHOLD: usize = 200;
if state.corpus().count() > PRUNE_THRESHOLD*vc { 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 corpus = state.corpus_mut();
let currid = corpus.current(); let currid = corpus.current();
let ids : Vec<_> = corpus.ids().filter_map(|x| { let ids : Vec<_> = corpus.ids().filter_map(|x| {