21 Apr
2015
21 Apr
'15
11:06 p.m.
Hi Gerd
In normal processing, the fields are 0 when style is NONE, but NumberRangeTest.java sets them to -1 and this really produces different bit streams in some cases, e.g. when iter == 306 the following test case is generated: [0,O,9,7,O,7,5, 1,B,8,2,O,3,5, 2,O,1,1,N,-1,-1]
I had time to look into this. The ones that go wrong are where there is 'O' on the left beginning with 1, and 'N' on the right. As in your example above. It turns out that using -1 as the default value of getRightStart() is required or else the value of zero must be treated specially in equalizeBases() by adding 'if (right.targetStart == 0) return false;' ..Steve