1. Can you give me a example where the example code of Functional-level invariants can it be broken? In the way I understand you check the same function of the same contract at the same moment, right?
2. I know you show us these different approach for find invariants but I wonder how you calculate if you cover all scenarios possible, like `forge coverage` for unit test for example. I know its depend of the system or project but do you have some metrics ?
Excellent Antonio, I have a questions for you:
1. Can you give me a example where the example code of Functional-level invariants can it be broken? In the way I understand you check the same function of the same contract at the same moment, right?
2. I know you show us these different approach for find invariants but I wonder how you calculate if you cover all scenarios possible, like `forge coverage` for unit test for example. I know its depend of the system or project but do you have some metrics ?