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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information