search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 3 forks source link

IntegerInterval: is*Top() returns false even when covers the whole range #175

Closed JanDupal closed 11 years ago

JanDupal commented 11 years ago

IntegerInterval isSignedTop/isUnsignedTop returns false even when both: