laantungir
/
bitcoin
mirror of https://github.com/bitcoin/bitcoin.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

test: additional test coverage for script_verify_flags

This commit is contained in:
Anthony Towns 2025-09-11 11:21:22 +10:00
parent 417437eb01
commit 652424ad16
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/test/fuzz/script_flags.cpp
View File

@ -20,6 +20,7 @@ static DataStream& operator>>(DataStream& ds, script_verify_flags& f)
script_verify_flags::value_type n{0}; script_verify_flags::value_type n{0};
ds >> n; ds >> n;
f = script_verify_flags::from_int(n); f = script_verify_flags::from_int(n);
assert(n == f.as_int());
return ds; return ds;
} }
@ -33,6 +34,8 @@ FUZZ_TARGET(script_flags)
script_verify_flags verify_flags; script_verify_flags verify_flags;
ds >> verify_flags; ds >> verify_flags;
assert(verify_flags == script_verify_flags::from_int(verify_flags.as_int()));
if (!IsValidFlagCombination(verify_flags)) return; if (!IsValidFlagCombination(verify_flags)) return;
script_verify_flags fuzzed_flags; script_verify_flags fuzzed_flags;

2
src/test/script_tests.cpp
View File

@ -1716,8 +1716,10 @@ BOOST_AUTO_TEST_CASE(formatscriptflags)
{ {
// quick check that FormatScriptFlags reports any unknown/unexpected bits // quick check that FormatScriptFlags reports any unknown/unexpected bits
BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_P2SH), "P2SH"); BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_P2SH), "P2SH");
BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_P2SH | SCRIPT_VERIFY_TAPROOT), "P2SH,TAPROOT");
BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_P2SH | script_verify_flags::from_int(1u<<31)), "P2SH,0x80000000"); BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_P2SH | script_verify_flags::from_int(1u<<31)), "P2SH,0x80000000");
BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_TAPROOT | script_verify_flags::from_int(1u<<27)), "TAPROOT,0x08000000"); BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_TAPROOT | script_verify_flags::from_int(1u<<27)), "TAPROOT,0x08000000");
BOOST_CHECK_EQUAL(FormatScriptFlags(SCRIPT_VERIFY_TAPROOT | script_verify_flags::from_int((1u<<28) | (1ull<<58))), "TAPROOT,0x400000010000000");
BOOST_CHECK_EQUAL(FormatScriptFlags(script_verify_flags::from_int(1u<<26)), "0x04000000"); BOOST_CHECK_EQUAL(FormatScriptFlags(script_verify_flags::from_int(1u<<26)), "0x04000000");
} }