Skip to content

Commit b74f3d6

Browse files
tests: Fill fuzzing coverage gaps for functions in consensus/validation.h
1 parent c0bbf81 commit b74f3d6

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

src/test/fuzz/block.cpp

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,12 +38,17 @@ void test_one_input(const std::vector<uint8_t>& buffer)
3838
const Consensus::Params& consensus_params = Params().GetConsensus();
3939
BlockValidationState validation_state_pow_and_merkle;
4040
const bool valid_incl_pow_and_merkle = CheckBlock(block, validation_state_pow_and_merkle, consensus_params, /* fCheckPOW= */ true, /* fCheckMerkleRoot= */ true);
41+
assert(validation_state_pow_and_merkle.IsValid() || validation_state_pow_and_merkle.IsInvalid() || validation_state_pow_and_merkle.IsError());
42+
(void)validation_state_pow_and_merkle.Error("");
4143
BlockValidationState validation_state_pow;
4244
const bool valid_incl_pow = CheckBlock(block, validation_state_pow, consensus_params, /* fCheckPOW= */ true, /* fCheckMerkleRoot= */ false);
45+
assert(validation_state_pow.IsValid() || validation_state_pow.IsInvalid() || validation_state_pow.IsError());
4346
BlockValidationState validation_state_merkle;
4447
const bool valid_incl_merkle = CheckBlock(block, validation_state_merkle, consensus_params, /* fCheckPOW= */ false, /* fCheckMerkleRoot= */ true);
48+
assert(validation_state_merkle.IsValid() || validation_state_merkle.IsInvalid() || validation_state_merkle.IsError());
4549
BlockValidationState validation_state_none;
4650
const bool valid_incl_none = CheckBlock(block, validation_state_none, consensus_params, /* fCheckPOW= */ false, /* fCheckMerkleRoot= */ false);
51+
assert(validation_state_none.IsValid() || validation_state_none.IsInvalid() || validation_state_none.IsError());
4752
if (valid_incl_pow_and_merkle) {
4853
assert(valid_incl_pow && valid_incl_merkle && valid_incl_none);
4954
} else if (valid_incl_merkle || valid_incl_pow) {

0 commit comments

Comments
 (0)