[Check] New constraint to ensure that every signal defined in requirement should exist in the component architecture
Suppose a requirement defines a signal “x”.
Suppose the same project contains a component architecture which does
not have the signal “x” as input.
Current situation : no complaint from AF3
Expected: constraint (which can be activated or not: maybe some user don’t want this feature) which checks whether all signals have a corresponding port.
(from redmine: issue id 2907, created on 2017-03-29)