When the model checker has added problems (ForestErrors) to the model, the outline is updated correctly, but not all problems are written to the problems view. This used to work...
Log in to post a comment.
