search

karelklic / canal

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

Modifiy Float::Interval::getMin and getMax to work the same way as Integer::Interval #148

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

Integer::Interval, Integer::Bitfield and Integer::Set methods to get minimal or maximal value return success and return the value via reference. Float::Interval methods, on the other hand, return the value. It would be nice to unify the interface.