I'm trying to understand the different kinds of underlining Polyspace provides in the "Source" pane of the GUI. Obviously, solid red, green, gray and orange underlining corresponds to the well-known categories. But there are also the following underline styles:
- Solid black
- Dashed black
- Dashed blue
- Dashed red
I can't find an explanation in the documentation. Can anyone shed light on what these styles indicate?
Best Answer