Ludovic Apvrille authored 8 years ago and Andrea Enrici committed 8 years ago

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