`bolero reduce` doesn’t seem to do anything

camshaft / bolero

property testing and verification front-end for Rust

https://camshaft.github.io/bolero

MIT License

192 stars 17 forks source link

`bolero reduce` doesn’t seem to do anything #247

Open Porges opened 2 months ago

Porges commented 2 months ago

After running bolero reduce nothing seems to happen in terms of the number of files in the corpus. Is there a known issue here?

I manged to hack something together by running a sequence like:

mkdir output
BOLERO_LIBFUZZER_ARGS="-merge=1 output tests/mytest/corpus" target/fuzz/.../mytest_...
rm tests/mytest/corpus/*
mv output/* tests/mytest/corpus

This does result in compaction of the corpus (although you need to run it multiple times until you reach some fixed point).

camshaft commented 2 months ago

It's definitely possible that it's broken. We're currently missing test coverage on reduce actually reducing the corpus.