Debugger error missing values for sequences - truncated with duplicate entry 33

[lausdahl]

Description

The Overture IDE debugger is preventing inspection of sequences with more than 33 elements. It simply truncates the values shown to 33 and also inserts an extra element 33, including this element the total count is correct.

The test model is shown here, and is executed in VDM SL:

op2: ()==>?
op2()==
 let list = [i | i in set {1,...,50}]
 in
 	return list;

The error is likely to be related to the class VdmValue in IDE debug it seems to be responsible for paging. It should be noted that sets work as expected.

Steps to Reproduce

place breakpoint and debug

Expected behavior:

all elements were shown with on duplicate index values

Actual behavior:

truncated at 33 + an extra element 33

Reproduces how often:

always

Versions

2.6.0 Mac 10.13.3