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