This implementation could be slow to display results when searching large files, because results aren’t printed as they’re found; we’ll discuss a possible way to fix this using iterators in Chapter 13 ...

181.7 SMT and SAT Engines All push-button verification tools described in this chapter ultimately reduce to calls on SMT or SAT solvers. Understanding the solvers' strengths and failure modes is ...