SMTChecker: Incorrectly determines insufficient balance. #15015
Labels
needs investigation
nice to have
We don’t see a good reason not to have it but won’t go out of our way to implement it.
smt
Projects
Description
When the transfer amount is 0, SMTChecker incorrectly determines insufficient balance
Environment
Steps to Reproduce
The text was updated successfully, but these errors were encountered: