Highlighting constraints violations is not reset after loading

[Futsch1]

Precondition

Launch the application with the arguments "example/example.asn -type EXAMPLE.Sequence"
Switch tool to Tree view

Steps to Reproduce:

Step	Action	Expected	Status
1	Select Sequence->example1, set member1 to 999 Save encoded data	No error	Pass
2	Set member1 to 6000 Select Sequence->example2 Select Sequence->example1 Save encoded data Load encoded data	After reselection, member1 is highlighted Saving fails with error: "example1: member1: Expected an integer between 0 and 5000, but got 6000." After loading, member1 has the value 999	Value is 999, but the highlighting is not reset
3	Hover over Sequence->example1	Tooltip "Minimum:0, Maximum: 5000" is shown	Pending

[Futsch1]

Open Defect in TestQuality

• Test Integer in Run v0.8.0 (linked to Cycle asn1editor Release).