Explanation

This rule checks if the default exit of a non-constant repeat flow is connected. This default exit is used when the repeat flow has no commit exit defined and when the repeat expression returns an unknown, so it must be connected to ensure a robust model.

Possible improvement

Remove the named commit exit from the repeat flow, unless the default and commit exits follow a different path.

Example

The image below shows a situation in which a non-constant repeat flow has an unconnected default exit.

...