CIF to mCRL2: improve translation of '-MAX_INT'
CIF represents -MAX_INT as -2147483647 - 1. In mCRL2, this can just be -2147483648.
CIF represents -MAX_INT as -2147483647 - 1. In mCRL2, this can just be -2147483648.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent