Problems View

The Problems View displays system-generated errors, warnings, or information associated with a resource. For example, if Spin finds syntax errors in your Promela model during a syntax check, these errors will automatically be logged in this view. By default, the Problems View is not included in the default SpinRCP Perspective. To add it to the current perspective, click Window > Show View > Other... > General > Problems.