Laurel User Guide

Laurel User Guide

Table of Contents

1.	Summary
2.	Syntax
3.	Resolution
4.	Execution
5.	Verification - Fundamentals
6.	Verification - Objects
7.	Verification - Continued
8.	Verification - Proof hints
9.	Debugging and tooling
10.	Current limitations

8. Verification - Proof hints

←7.3. Coroutine rely/guarantee contracts 9. Debugging and tooling→

8. Verification - Proof hints🔗

To be designed..

←7.3. Coroutine rely/guarantee contracts 9. Debugging and tooling→