Refine checking procedure based communication
Submitted by Jeno Attila Balasko
Link to original bug (#496030)
Description
see titan.core/regression_test/commProcedure/ProcPort.ttcn
The test source code shall produce the same errors at compilation and at on-the-fly checking performed by titan.EclipsePlug-ins.
Version: 5.5.0