Sharpen the component refusal errors
When a component can not fulfill the interface
inevitable promise to come up with an out event; sharpen the (list of)
component refusal errors to only the one that is in focus.
In the next screenshot, the
api.DisabledByServiceModeExit is the grand suspect. I changed my interface to
on inevitable: DisabledByServiceModeExit;, but before this autonomous event was
It seems my component can not guarantee the inevitability. So the solution was to revert the
on inevitable: back to
However the Dezyne verifier came with the complete list of all 'on optionals' and 'on inevitables' out events. This difficults the user to diagnose the verification situation.
Please sharpen it to showing only the 'component refusal: api.DisabledByServiceModeExit` in this case.