diff options
| author | Antoine Poinsot <darosior@protonmail.com> | 2023-01-23 12:45:49 +0100 |
|---|---|---|
| committer | Antoine Poinsot <darosior@protonmail.com> | 2023-08-25 11:56:09 +0200 |
| commit | 4ab382c2cdb09fb4056711b4336807845cbe1ad5 (patch) | |
| tree | 15cf9ecb6b8d066b71bf1ec59defc5324c7600a0 /src/test/fuzz/miniscript.cpp | |
| parent | 7bf078f2b7d4a0339d053144b4fb35fe020dac25 (diff) | |
| download | bitcoin-4ab382c2cdb09fb4056711b4336807845cbe1ad5.tar.xz | |
miniscript: make GetStackSize independent of P2WSH context
It was taking into account the P2WSH script push in the number of stack
elements.
Diffstat (limited to 'src/test/fuzz/miniscript.cpp')
| -rw-r--r-- | src/test/fuzz/miniscript.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/fuzz/miniscript.cpp b/src/test/fuzz/miniscript.cpp index 56327b9665..0246507da1 100644 --- a/src/test/fuzz/miniscript.cpp +++ b/src/test/fuzz/miniscript.cpp @@ -973,7 +973,7 @@ void TestNode(const NodeRef& node, FuzzedDataProvider& provider) if (nonmal_success) { // Non-malleable satisfactions are bounded by GetStackSize(). - assert(witness_nonmal.stack.size() <= *node->GetStackSize()); + assert(witness_nonmal.stack.size() <= *node->GetStackSize() + 1); // If a non-malleable satisfaction exists, the malleable one must also exist, and be identical to it. assert(mal_success); assert(witness_nonmal.stack == witness_mal.stack); |