As per the usual process to avoid wasted CI resources and timeouts when it runs on large and presumed irrelevant inputs.
Delete nonreduced inputs #119
pull maflcko wants to merge 3 commits into bitcoin-core:main from maflcko:main changing 0 files +0 −0-
maflcko commented at 12:05 PM on April 21, 2023: contributor
-
Delete fuzz inputs f791d8804e
-
Reduced inputs for fuzzer 8732a46367
-
Reduced inputs for fuzzer,address,undefined,integer 659929450b
-
maflcko commented at 12:10 PM on April 21, 2023: contributor
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.shTo "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 commented at 3:44 PM on April 21, 2023: contributor
Did a second run. Some stats:
- 100k deleted in the first run (this pull):
git diff --stat origin/main..659929450b0a5a77739e0f5cde54808de6ca0b64 | tail -1 98710 files changed, 1133401 deletions(-)- ~Same in the second run:
git diff --stat origin/main..HEAD | tail -1 98459 files changed, 83802 deletions(-)- Cross-diff 31k files:
# git diff --stat 659929450b0a5a77739e0f5cde54808de6ca0b64..HEAD | tail -1 31968 files changed, 1053259 insertions(+), 3664 deletions(-) -
maflcko commented at 3:44 PM on April 28, 2023: contributor
- fanquake merged this on Apr 29, 2023
- fanquake closed this on Apr 29, 2023
- fanquake referenced this in commit 4ae161317c on Oct 25, 2023