New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
SMTChecker: Unable to accurately describe the balance #15014
Comments
If you add the assumption that the recipient is different from the sender, While we could improve the analysis for this particular example, it is also not very realistic, because |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description
Unable to correctly determine that the current balance is 0 after transferring out all balances.
Environment
Steps to Reproduce
The text was updated successfully, but these errors were encountered: