Certora Prover has a potential to run very long on some inputs. When it runs too long, it will give up and return a “timeout” (or in some cases “unknown”) result. In this chapter, we present a practical guide to diagnosing the causes of timeouts and ways to prevent them.
- Identifying timeout causes
- Timeout prevention
- Timeouts in Certora Prover - Theoretical Background