Closed maihde closed 7 years ago
INT_MIN will be incorrectly represented if you do InfInt(INT_MIN) because the constructor inverts the sign which causes an overflow. A patch has provided via a pull request.
solved this with latest commit
INT_MIN will be incorrectly represented if you do InfInt(INT_MIN) because the constructor inverts the sign which causes an overflow. A patch has provided via a pull request.