Details
-
Bug
-
Status: Closed
-
Critical
-
Resolution: Fixed
-
None
-
None
Description
In AssignmentCreator.java, one Comparator could break transitive attribute required for a Comparator implementation and the result is not correct.
E.g. for:
long IntPlusOne = 0x80000000L;
[0]=2 * IntPlusOne + 5, [1] = 2* IntPlusOne + 8, [2] = 4 * IntPlusOne + 4,
the compare results will be like:
compare([0],[1]) = -3,
compare([1],[2]) = 4,
compare([0],[2]) = 1
Attachments
Issue Links
- links to