You need to sign in or sign up before continuing.
Invalid comparison with large negative integers
For the attached verification task latest CPAchecker reports true while for the same verification task CPAchecker trunk:27946 reported false as expected.
Indeed the issue disappears if I increase the large negative integer (INT_MIN) even by one.
Edited by Evgeny Novikov