Assertion fails with duplicate partition name
A model with two nodes that contain partitions with identical name fails to build with the following assertion:
buildsupport: c/preprocessing_backend.c:603: Propagate_Calling_Thread: Assertion `((void *)0) != corresponding_pi' failed.
Aborted
Failed while executing:
"buildsupport" -x 100 -g --keep-case --gw --glue -i "/home/assert/tmp/test-partname/InterfaceView.aadl" -c "DeploymentView.aadl" ocarina_components.aadl -d D_view_aadlv2.aadl --polyorb-hi-c --smp2 /home/assert/tool-inst/share/config_ellidiss/TASTE_IV_Properties.aadl /home/assert/tool-inst/share/config_ellidiss/TASTE_DV_Properties.aadl
From this directory:
/home/assert/tmp/test-partname/binary.c
I've encountered this error several times and it has been very difficult to find the error in the model, especially if it's a complex one.
With the old editors, it is easy to make this mistake because all nodes of a given type are created with the same partition name. With the new editors, the partition name is forced to be different, so in principle the error cannot happen.
Nevertheless, it would be better if the error of a duplicate partition name would be detected at model validation level, rather than with an assertion that doesn't indicate the cause of the problem.
Example model: test-partname.tgz