[freeelks-devel] INTEGER.abs

[Alexander K. <kw...@ah...>]

There is an issue with feature "abs" in INTEGER_nn types.
The postcondition is violated for a minimum integer value.
Wouldn't it be better to add a precondition that the value
is not equal to this minimum or to relax the postcondition
and to allow to produce negative result in this case?

Regards,
Alexander Kogtenkov