Certora Prover setup and properties for the audit of migration and setup contracts #707
Annotations
2 errors
|
Verify rule owner
The operation was canceled.
|
Loading