Skip to content

#955 CIF to mCRL2: improve translation of minimum-representable integer value

Dennis Hendriks requested to merge 955-cif-to-mcrl2-improve-translation-of-max_int into develop
  • 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

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent