mojtaba-eshghie / PreDi

PreDi: Semantic Solidity Predicate Difference Tool
https://pypi.org/project/predi/
MIT License
4 stars 0 forks source link

Incorrect results for less than or equal and greater than or equal #37

Closed Kasche153 closed 1 month ago

Kasche153 commented 2 months ago

Seems to be an error for >= and <= operators when compared to ==.

Example:

 >>>comparator = Comparator()
 >>>print(comparator.compare("x <= y", "x == y"))
 >>>The predicates are not equivalent and neither is stronger.
 >>print(comparator.compare("x >= y", "x == y"))