Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Cardinality of output ports on p:choose and p:try #671
Currently we say:
On Dec. 13th call we came to the conclusion, that the second rule is wrong and all output ports of a
If no other
The cited rule works only in the special case that all branches declare output ports with the same names. Therefor all output ports of p:choose (and p:try) must be sequence output ports.
@ndw Have we missed something?