It is introduced in https://github.com/bitcoin/bitcoin/pull/24149
Initial corpus for the `miniscript_random` target #87
pull darosior wants to merge 1 commits into bitcoin-core:main from darosior:miniscript_random changing 6256 files +5190 −0-
darosior commented at 11:26 AM on February 24, 2022: member
-
Initial corpus for the miniscript_random target 83038e5d82
-
darosior commented at 11:42 AM on February 24, 2022: member
Source-based coverage of the corpus: http://download.darosior.ninja/dump/coverage_miniscript_random/src/script/index.html
- maflcko merged this on Sep 20, 2022
- maflcko closed this on Sep 20, 2022
-
sipa commented at 3:17 PM on September 20, 2022: contributor
I don't think we have the
miniscript_randomfuzz target anymore? -
maflcko commented at 3:36 PM on September 20, 2022: contributor
Ok. Is there another target where the files can be moved to or should I force push the commit away?
-
maflcko commented at 3:42 PM on September 20, 2022: contributor
I've force pushed the merge away. Please open a fresh pull request with anything that should be done
-
darosior commented at 8:16 AM on September 21, 2022: member
My bad, i should have closed this PR long ago.. Thanks for noticing Sipa.
-------- Original Message -------- On Sep 20, 2022, 3:42 PM, MacroFake wrote:
I've force pushed the merge away. Please open a fresh pull request with anything that should be done
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>