diff options
| author | Pieter Wuille <pieter@wuille.net> | 2022-06-10 17:30:22 -0400 |
|---|---|---|
| committer | Antoine Poinsot <darosior@protonmail.com> | 2022-09-17 10:47:05 +0200 |
| commit | 4cb8f9a92c0ab5d45f2e545bbc13fc3f2ec611ea (patch) | |
| tree | 9ccc4108bc747618c237b708046752c57abb1205 /src/test | |
| parent | a688ff9046a9df58a373086445ab5796cccf9dd3 (diff) | |
| download | bitcoin-4cb8f9a92c0ab5d45f2e545bbc13fc3f2ec611ea.tar.xz | |
Permit delaying duplicate key check in miniscript::Node construction
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/miniscript_tests.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/test/miniscript_tests.cpp b/src/test/miniscript_tests.cpp index 95e8476b77..9387c01e73 100644 --- a/src/test/miniscript_tests.cpp +++ b/src/test/miniscript_tests.cpp @@ -296,6 +296,9 @@ BOOST_AUTO_TEST_CASE(fixed_tests) // Same when the duplicates are on different levels in the tree const auto ms_dup4 = miniscript::FromString("thresh(2,pkh(03d30199d74fb5a22d47b6e054e2f378cedacffcb89904a61d75d0dbd407143e65),s:pk(03fff97bd5755eeea420453a14355235d382f6472f8568a18b2f057a1460297556),a:and_b(dv:older(1),s:pk(03d30199d74fb5a22d47b6e054e2f378cedacffcb89904a61d75d0dbd407143e65)))", CONVERTER); BOOST_CHECK(ms_dup4 && !ms_dup4->IsSane() && !ms_dup4->CheckDuplicateKey()); + // Sanity check the opposite is true, too. An otherwise sane Miniscript with no duplicate keys is sane. + const auto ms_nondup = miniscript::FromString("pk(03d30199d74fb5a22d47b6e054e2f378cedacffcb89904a61d75d0dbd407143e65)", CONVERTER); + BOOST_CHECK(ms_nondup && ms_nondup->CheckDuplicateKey() && ms_nondup->IsSane()); // Test we find the first insane sub closer to be a leaf node. This fragment is insane for two reasons: // 1. It can be spent without a signature // 2. It contains timelock mixes |