Managing Timeouts

Todo

This chapter is incomplete. The old documentation has a section on troubleshooting that addresses timeouts. There is also some helpful information in the section on summarization. Some of the information in these references is out of date.

What causes timeouts?

The complexity check

Summarizing complex functions

Modular verification

Flags for tuning the Prover