the CI was failing with "Encountered an unexpected error in Prover, please report in certora.com. Error code 2463013129."
and info:
Contract preprocessing step fetched from cache.
Hence the flag disable_auto_cache_key_gen was enabled to ensures the proofs are rerun and not fetched from cache.
Remove it once the issue is resolved on certora side
Originally posted by @bhargavbh in #816 (comment)
the CI was failing with
"Encountered an unexpected error in Prover, please report in certora.com. Error code 2463013129."and info:
Contract preprocessing step fetched from cache.Hence the flag
disable_auto_cache_key_genwas enabled to ensures the proofs are rerun and not fetched from cache.Remove it once the issue is resolved on certora side
Originally posted by @bhargavbh in #816 (comment)