GitHub

README.md

Behaviour of org.apache.commons.numbers.core.ArithmeticUtils#pow(int, int) changed: pow(k=-2, e=31) before: throws ArithmeticException("integer overflow") after: -2147483648 (found by JBMC 6.11.0 in ...