Prune inputs

[dergoegge]

As per the usual process to avoid wasted CI resources and timeouts when it runs on large and presumed irrelevant inputs.

Previous: #157

To "reproduce"

Install a fresh VM, as explained in the bash script's doc, and run it:

apt update && apt install wget -y
wget https://raw.githubusercontent.com/bitcoin-core/bitcoin-maintainer-tools/main/delete_nonreduced_fuzz_inputs.sh
bash delete_nonreduced_fuzz_inputs.sh

To "test"

• Keep an eye on coverage stats, to ensure it doesn't drop
• Re-run the script, to ensure it is "reproducible" to some extent
• Anything else you think is important to test or review

[maflcko]

Please add a link to the previous one, and the steps to reproduce, or a link to it.

[dergoegge]

Please add a link to the previous one, and the steps to reproduce, or a link to it.

Done

[maflcko]

https://drahtbot.space/host_reports/DrahtBot/reports/coverage_fuzz/monotree/aba9024c0cb50300/fe4760b23a848101/fuzz.coverage/index.html

https://maflcko.github.io/b-c-cov/fuzz.coverage/index.html

[maflcko]

Looks like the runtime remains roughly the same? So maybe it is not worth it this time?

[dergoegge]

4.4GB vs 1.6GB on this PR with no coverage loss. I don't see the benefit of keeping the redundant inputs around.

[maflcko]

Ok, fair enough.

[maflcko]

When I try to reproduce, I get subprocess timed out: Currently only libFuzzer is supported for the second step with the sanitizers.

[maflcko]

Ok, I re-ran on a different machine and it somehow passed this time. Results:

• About 100k deleted files

# git diff origin/main..fe4760b23a848101bf6e619bcaef80136951d9f4 --stat | tail -1
 113815 files changed, 574351 deletions(-)

• Cross-diff of 25k files:

# git -c diff.renameLimit=13303 diff HEAD..fe4760b23a848101bf6e619bcaef80136951d9f4 --stat | tail -1
 24735 files changed, 9163 insertions(+), 285203 deletions(-)

[maflcko]

lgtm