The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)

ESC Java successfully refuted all previous warnings for this line of code. The list below shows the warnings from previous iterations.

8:  Warning: Possible violation of object invariant (Invariant)

The correctness proof failed because there are open warnings for this line of code. The list below shows the warnings which ESC Java reports for this line (in yellow) and the warnings which it reported in previous iterations (crossed out).

8:  Warning: Possible violation of object invariant (Invariant)