increasing signal quality for Antithesis

This commit is contained in:
Valentin Balaschenko
2026-07-15 14:49:22 +01:00
parent 53592f1f6f
commit 48ee743067

View File

@@ -454,9 +454,11 @@ LedgerHistory::builtLedger(
if (entry.validated && !entry.built)
{
SOMETIMES(true, "xrpl::LedgerHistory::builtLedger : validated arrived first");
SOMETIMES(
entry.validated.value() != hash,
"xrpl::LedgerHistory::builtLedger : validated-first mismatch");
if (entry.validated.value() != hash)
{
SOMETIMES(true, "xrpl::LedgerHistory::builtLedger : validated-first mismatch");
JLOG(j_.error()) << "MISMATCH: seq=" << index
<< " validated:" << entry.validated.value() << " then:" << hash;
mismatch = MismatchInputs{
@@ -505,9 +507,11 @@ LedgerHistory::validatedLedger(
XRPL_ASSERT(
entry.consensus.has_value(),
"xrpl::LedgerHistory::validatedLedger : consensus set when built set");
SOMETIMES(
entry.built.value() != hash,
"xrpl::LedgerHistory::validatedLedger : built-first mismatch");
if (entry.built.value() != hash)
{
SOMETIMES(true, "xrpl::LedgerHistory::validatedLedger : built-first mismatch");
JLOG(j_.error()) << "MISMATCH: seq=" << index << " built:" << entry.built.value()
<< " then:" << hash;
mismatch = MismatchInputs{