diff options
| author | Antoine Poinsot <darosior@protonmail.com> | 2023-01-22 12:49:44 +0100 |
|---|---|---|
| committer | Antoine Poinsot <darosior@protonmail.com> | 2023-10-08 02:43:16 +0200 |
| commit | e5aaa3d77af7459b37c0c4a37eb22c5fd0cda3e1 (patch) | |
| tree | 00de57ec2cca6c7594395b61f877627c0b1a23d9 /src/test | |
| parent | 687a0b0fa53ddd5632287b9e00ad8b0550830287 (diff) | |
miniscript: make 'd:' have the 'u' property under Tapscript context
In Tapscript MINIMALIF is a consensus rule, so we can rely on the fact
that the `DUP IF [X] ENDIF` will always put an exact 1 on the stack upon
satisfaction.
Diffstat (limited to 'src/test')
| -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 1099e2a00f..c133484965 100644 --- a/src/test/fuzz/miniscript.cpp +++ b/src/test/fuzz/miniscript.cpp @@ -580,7 +580,7 @@ struct SmartInfo if (subs > 0) subt.push_back(x); if (subs > 1) subt.push_back(y); if (subs > 2) subt.push_back(z); - Type res = miniscript::internal::ComputeType(frag, x, y, z, subt, k, data_size, subs, n_keys); + Type res = miniscript::internal::ComputeType(frag, x, y, z, subt, k, data_size, subs, n_keys, MsCtx::P2WSH); // Continue if the result is not a valid node. if ((res << "K"_mst) + (res << "V"_mst) + (res << "B"_mst) + (res << "W"_mst) != 1) continue; |