#955 CIF to mCRL2: improve translation of minimum-representable integer value
- Best to review per commit.
- CIF to mCRL2 now detects '-2147483647 - 1' and transforms it to '-2147483648' instead. This make use of a new
CifValueUtils.isIntMinValueExpr
method.
Closes #955 (closed)