Certora Review #50
Annotations
2 errors
The run was canceled by @nisnislevi.
|
Verify rule verifyStataToken.conf --rule solvency_total_asset_geq_total_supply
The operation was canceled.
|
Loading