corrected bug in the creation of the list of ports available for mapping onto...
corrected bug in the creation of the list of ports available for mapping onto CPs: the same port was listed multiple times due to the presence of join nodes
Loading
Please register or sign in to comment