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:
0apt update && apt install wget -y 1wget https://raw.githubusercontent.com/bitcoin-core/bitcoin-maintainer-tools/main/delete_nonreduced_fuzz_inputs.sh 2bash 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 commented at 3:44 pm on April 21, 2023: contributor
Did a second run. Some stats:
- 100k deleted in the first run (this pull):
0git diff --stat origin/main..659929450b0a5a77739e0f5cde54808de6ca0b64 | tail -1 1 98710 files changed, 1133401 deletions(-)
- ~Same in the second run:
0git diff --stat origin/main..HEAD | tail -1 1 98459 files changed, 83802 deletions(-)
- Cross-diff 31k files:
0# git diff --stat 659929450b0a5a77739e0f5cde54808de6ca0b64..HEAD | tail -1 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
github-metadata-mirror
This is a metadata mirror of the GitHub repository bitcoin-core/qa-assets. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2024-11-21 08:25 UTC
This is a metadata mirror of the GitHub repository bitcoin-core/qa-assets. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2024-11-21 08:25 UTC
This site is hosted by @0xB10C
More mirrored repositories can be found on mirror.b10c.me
More mirrored repositories can be found on mirror.b10c.me