Examples:
Disclaimer
- This is an experimental demo of symbolic analysis for TEP-74 jettons
- Checkers may take up to 4 minutes per contract
- Jetton wallets using library cells are not supported
- Results are not financial advice — do not use for investment decisions
Running symbolic analysis...
300s