From 1e351e5db1ced6a32681ceea8a111148bd83e323 Mon Sep 17 00:00:00 2001 From: brunoerg Date: Fri, 5 May 2023 12:37:27 -0300 Subject: [PATCH] fuzz: coinselection, add coverage for `Merge` --- src/wallet/test/fuzz/coinselection.cpp | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/src/wallet/test/fuzz/coinselection.cpp b/src/wallet/test/fuzz/coinselection.cpp index 03a3e7c67a..c435e257dd 100644 --- a/src/wallet/test/fuzz/coinselection.cpp +++ b/src/wallet/test/fuzz/coinselection.cpp @@ -63,6 +63,17 @@ static CAmount CreateCoins(FuzzedDataProvider& fuzzed_data_provider, std::vector return total_balance; } +static SelectionResult ManualSelection(std::vector& utxos, const CAmount& total_amount, const bool& subtract_fee_outputs) +{ + SelectionResult result(total_amount, SelectionAlgorithm::MANUAL); + std::set> utxo_pool; + for (const auto& utxo : utxos) { + utxo_pool.insert(std::make_shared(utxo)); + } + result.AddInputs(utxo_pool, subtract_fee_outputs); + return result; +} + // Returns true if the result contains an error and the message is not empty static bool HasErrorMsg(const util::Result& res) { return !util::ErrorString(res).empty(); } @@ -142,6 +153,21 @@ FUZZ_TARGET(coinselection) assert(result->GetWeight() > weight); } } + + std::vector manual_inputs; + CAmount manual_balance{CreateCoins(fuzzed_data_provider, manual_inputs, coin_params, next_locktime)}; + if (manual_balance == 0) return; + auto manual_selection{ManualSelection(manual_inputs, manual_balance, coin_params.m_subtract_fee_outputs)}; + for (auto& result : results) { + if (!result) continue; + const CAmount old_target{result->GetTarget()}; + const std::set> input_set{result->GetInputSet()}; + const int old_weight{result->GetWeight()}; + result->Merge(manual_selection); + assert(result->GetInputSet().size() == input_set.size() + manual_inputs.size()); + assert(result->GetTarget() == old_target + manual_selection.GetTarget()); + assert(result->GetWeight() == old_weight + manual_selection.GetWeight()); + } } } // namespace wallet