Fix optimism state bound (#752)

This commit is contained in:
KirillPamPam
2025-12-08 20:28:29 +04:00
committed by GitHub
parent f0ae40a3ac
commit dbbbdefdfd
2 changed files with 14 additions and 1 deletions

View File

@@ -32,7 +32,19 @@ class EthereumLowerBoundProofDetector(
)
}
private val recursiveLowerBound = RecursiveLowerBound(upstream, LowerBoundType.PROOF, NO_PROOF_ERRORS, lowerBounds, commonErrorPatterns)
private val recursiveLowerBound = RecursiveLowerBound(
upstream,
LowerBoundType.PROOF,
NO_PROOF_ERRORS,
lowerBounds,
commonErrorPatterns.plus(
setOf(
Regex("block #\\d not found"),
Regex("state at block #\\d is pruned"),
Regex("historical state .+ is not available"),
),
),
)
override fun period(): Long {
return 3

View File

@@ -25,6 +25,7 @@ class EthereumLowerBoundStateDetector(
setOf(
Regex("block #\\d not found"),
Regex("state at block #\\d is pruned"),
Regex("historical state .+ is not available"),
),
),
)