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