This repository has been archived by the owner on Sep 27, 2023. It is now read-only.

InvariantConcepts part of the lesson 8 (possibly) missing code examples #31

Open

mmv08 opened this issue Mar 13, 2023 · 0 comments

mmv08 commented Mar 13, 2023

The referenced code in the lesson https://github.com/Certora/Tutorials/blob/master/08.Lesson_WorkingWithInvariants/InvariantsConcepts/README.md
doesn't match the code example https://github.com/Certora/Tutorials/blob/master/08.Lesson_WorkingWithInvariants/InvariantsConcepts/Manager/ManagerFullSolution.spec therefore making the lesson harder to follow

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.