Skip to content

#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)

Merge request reports

Loading