IBM Rational Tau 4.3 Fixed Problems

IBM Rational Tau and DOORS Analyst 4.3 Fixed problems

IBM Corporation
June 2, 2009

Customer Call Ticket	CR ID	Synopsis	Release Notes Text
2077548	TLOG#269	TIL errors for output from passive class method	The usage of output actions in a method of a passive class is not supported by the C/Model Simulator code generator. Previously, TIL errors were generated when building such models. Now a UML-level check has been introduced to catch these errors on UML level.
4028569	TLOG#295	confusing text for TIL2323-warning when operator misses body	Now, when generating C code, warning messages about unused definitions will not be printed.
7004609	TLOG#18346	Redeclared operations give (irrelevant?) errors that navigates wrongly	A new semantic check for C code generation (including Model Simulator) has been added. It checks that an active class does not realize or require interfaces having operations with the same name. Previously such models would yield irrelevant TIL errors. Now compliance with this limitation is checked on UML level.
1046578	TLOG#18594	Undo and redo actions not performed successfully on model update in TAU G2 2.6	Message lines in sequence diagrams no longer disappear when using the "Update Model" command of Active Modeler followed by Undo and Redo.
6002164	TLOG#19429	File::Close in Menu option does not function as per the general functionality	File::Close in the Menu option now function as per the general functionality, for the .u2 file
7006445	TLOG#20412	TAU becomes extremely slow after code generation.	Previously the performance of Tau could deteriorate after code has been generated for a large model. This has now been improved to get better performance.
6005942	TLOG#21832	Error in signal routing	In previous versions of Tau the C/Model Simulator code generation produced wrong code for models containing an active class with an internal structure. Implicit connectors were generated for non-behavior ports that had explicit connectors. This caused wrong execution of the generated code. Now generation of implicit connectors has been fixed to avoid creation of unnecessary connectors.
4032922	TLOG#22027	Documentation about CORBA Unions is wrong	An error in the documentation about CORBA Unions has been corrected.
3024148	TLOG#22047	It is possible to split the inline frame for the loop option	The separator line can be used in inline frames on a Sequence Diagram only with specific operators. Previously, the wrong usage of separator line was not checked by Tau. Now a special semantic check has been introduced to check that separator line is used with the appropriate operator.
4033501	TLOG#22112	Errors reporting Faulty connectors can not be navigated from (to the source)	Previously when the semantic checker found an error/warning in a connector end it was not always possible to navigate from the error message to the connector end. This has now been solved by instead associating such error messages with the connector to which the connector end belongs.
7007981	TLOG#22113	Created Test Case from existing UC SQD doesnt bind	Now Tau checks (and updates if it necessary) ImplementedSignature reference of test case.
4033948	TLOG#22360	Opening a u2 file instead of a ttw file makes the tool behave faulty	It is now possible to close standalone files with File->Close menu.
4033978	TLOG#22362	It is not possible to close a u2 file opened by mistake	It is possible to close standalone files
6008307	TLOG#23070	There is no way to locate definition SecuritySystemX in Internal Block diagram	The semantic checks TSC0373 and TSC0096 were corrected to ignore unnavigable association ends and references in a sequence diagram.
3025570	TLOG#23860	When we use xSignalLog fn we get errors NameNode is not a member of xPrsStruct.	The error messages that were printed for the xSignalLog and xProcessLog functions from sctenv.c when compiling generated C code with the flag XSIGLOG defined have now been fixed.
6009969	TLOG#24077	Unable to dragdrop subjectsymbol qualified by colon from 1 UC diagram to another	Now the semantic checker will not yield an error for a subject with an empty name.
7009787	TLOG#24212	The Wording of Semantic Checker message TSC4530 should be changed	The message of the semantic check TSC4530 has been improved.
7009811	TLOG#24250	Name completion not working properly with dual screens	Popup window is visible on secondary display
1050936	TLOG#24443	Minor document error in "Update file" to be corrected from "modelled to "modeled	A minor error in the documentation about the TTDFileModel profile has been corrected.
1050953	TLOG#24780	Shouldn't be possible to send/receive signals to private(behaviour)port of class	Now the semantic checker reports a warning if a connector is connected to a private behavior port.
1051224	TLOG#25117	Enter/Exit/Do actions should be more visible in the model	Entry, do and exit compound action nodes are visible in the model browser now.
3026579	TLOG#25268	UML Increment Operator throws TIL Error	The C code generator now supports the UML increment (++) and decrement (--) operators on integer types.
4037702	TLOG#25909	Name completion do not work in SQD states	Name completion works in SQD states now.
1051771	TLOG#26084	Generated file artifacts for template classes have dependencies that won't bind	The C++ code generator now generates file artifacts for template definitions more correctly. Previously the dependency generated for such a file artifact would contain a binding error.
1052195	TLOG#26900	Nextstate breakpoint refresh issue	Previously when setting a breakpoint on a state symbol representing a next state, the breakpoint would not be immediately visible. This has now been fixed.
1052196	TLOG#26901	Statemachine breakpoint refresh issue	Previously when setting a breakpoint on state machine elements, the breakpoint marker could be shown multiple times in the diagram. This duplication has now been fixed.
4040224	TLOG#28354	Please make the list for the 'Type' in the properties ordered	The 'type' property is now sorted alphabetically.
4040401	TLOG#28516	Ports unbound and Connectors not shown after using 'Show Elements...'	The behavior of the “Show Elements..” command for Composite Structure diagrams has been improved. Now this command shows parts with bound ports and connectors.
3030302	TLOG#29544	Creation of new Classes to be allowed both in Visual Studio and in Tau	The synchronization of Tau C# project files with Microsoft Visual Studio has been improved.
4041379	TLOG#29616	Content of added u2-file faulty marked us changed	Content of added u2-file do not marked as changed.
3029930	TLOG#29673	relation ship does not showup	It is now supported to show attributes typed with templates as association lines when dragged & dropped to diagram.
7015062	TLOG#29840	Name mangling for operation names containing spaces visible in MV SQD trace	Previously a mangled name would be shown in the Model Simulator for an operation or signal having a name that contains spaces. The mangled name would show up in the sequence diagram trace, as well as in the 'Signal' column in the Messages window. Both these problems have now been solved.
4042477	TLOG#30975	Please 'auto-activate' line handles when mouse-pointer is near	Line handles are now displayed when mouse hover above a symbol and not only when the symbol is selected.
2060435	TLOG#31385	Display numbers for state chart diagrams in model view	New tooltip is added for diagrams in the Model view
7016700	TLOG#31557	No type control in lifeline of SQD	The semantic checker now checks that the type of a lifeline is the same as the type of an attribute that is represented by the lifeline.
7016913	TLOG#31700	Not possible to use macros without modifying generated files	A new attribute "Additional Preprocessor Defines" has been added to the C Code Generator, AgileC Code Generator, Model Simulator and Model Explorer build artifacts. It is represented by a new text edit control in the Properties window where the user can specify additional compilation switches.
3032478	TLOG#31760	flexible number of operation parameters not working	Now the C code generator (including Model Simulator) correctly supports operation parameters with non-single multiplicity.
3031779	TLOG#31902	Tau Model Verification undocks output tabs	Output window could at some occasions be undocked automatically. This problem has been resolved.
6019914	TLOG#32625	Activity Line Verices placement not remembered	Orthogonal lines don't change their shapes when symbols are moving on activity diagrams
7018073	TLOG#32821	Invalid error produced with name of XML Schema	It is now possible to create XML schemas with non-alphanumeric characters in the name and generate Java code from the model without getting an error. Now a warning is printed instead.
7018663	TLOG#33471	Assigning an attr. with a class that has an inner structure give a TCC0810-error	Previously when generating C code or using the Model Simulator, an assignment like “v = p[i]” where ‘p’ is a part typed by an active class with internal structure could cause build errors if the active class did not have a constructor or the assignment was used within a for/while loop. Now these limitations are removed.
3034491	TLOG#33564	incrementor decrementor still does not function completely the right way	The C code generator and Model Simulator have been fixed to always assign parameters from left to right during structure initialization with the (. params .) construct. This removes the previous platform specific behavior, when on some platforms initialization were from right to left, while on others it was from left to right. Now code is generated in such a way that on all platforms initialization works from left to right.
2082096	TLOG#34219	Operation calls from part to parent	A C code generator specific semantic check has been added to yield a warning if code in a nested part calls an operation defined in an interface realized by a containing part without specifying the object to call explicitly.
3035134	TLOG#34372	set-sdl-coder results in build errors	Added compile flag XRWF_JUSTCODER that modularises monitor functionality from serialization/coder functionality.
3035043	TLOG#34414	Query on URN not defined in TauBatch	The support for URNs in TauBatch has been improved.
2082126	TLOG#34467	BUG in property editor when using XSD/WSDL	The Property Editor drop down menu control now supports sorting based on the scoped name of the definitions shown in the list. This often makes it easier to find the correct definition to choose, and is now used when editing the type of a structural feature.
2056798	TLOG#34536	Virtual procedure parameters, not redefined in SDL import	A semantic check related to a virtual/redefined operation having a generalization has been improved.
6022571	TLOG#36422	Link options - Active link end is an active target, not an active source	"Active link end is an active target, not an active source" option has been renamed to "Reverse creation" to better explain it's purpose.
7021183	TLOG#36439	For merge, Save List with Ignore-Layout still shows some layout diff items	Problems in "Save List" functionality are fixed.
6019808	TLOG#36739	Use Case based on requirement text	The "Create Use Case" wizard has been improved to allow using attribute values, such as the Object Heading, as the use case name.
	TLOG#36922	SA_UML2: DeploymentSpecification symbol displayed with ‘artifact’ stereotype	The meta model definition of DeploymentSpecification is now based on Artifact instead of Class. This is consistent with the UML standard. Old models using DeploymentSpecifications will be automatically updated to the new definition.
6022730	TLOG#36960	Cannot edit names for some of the requirements.	Now it is possible to edit labels on remote definitions on diagrams.
7022709	TLOG#38202	Comments and not shown managed quotation marks gives text coloring errors	Syntax highlighting of text could at some occasions be incorrectly offset. This problem has been resolved.
3038184	TLOG#39074	Package order after moving up/down can not be saved	Packages order after moving up/down is saving now.
4050162	TLOG#39349	Error message contain two full stops at end	A minor error in the error message printed for the Tcl command u2::LoadFile has been corrected.
5021348	TLOG#39618	It should be easier and more obvious to switch model filter view.	A model view selector has been added to the model view.
4050769	TLOG#40056	Please improve the autolayout performance.	Performance of autolayout command has been improved.
7024847	TLOG#40124	Code generated by the AD Simulator generates TSC0087 warnings	Previously when simulating activities warnings related to stereotypes extending the wrong meta class would occur. This has now been fixed.
4050846	TLOG#40195	Please let the user start at 'Name edit mode' when creating a new diagram	'Name edit mode' is working when creating a new diagram.
2085980	TLOG#40877	Internal error: [...] after 1 or 2 Import Java source code runs	The Tau Java support now works for a workspace with multiple projects.
2085896	TLOG#40888	Importing C++ into Tau 3.1 - Failed to load library for implemention of agent	Syntax errors detected during C/C++ import are now printed correctly also on the Solaris/Linux platform. Previously those errors were suppressed on Solaris/Linux. No errors are printed to stderr any longer.
7025902	TLOG#41023	Strange graphical effect while dropping a signal in a signal receipt symbol	When an element was dropped on a symbol, causing it to change appearance, a visual effect could be seen at some occasions. This problem is now solved.
3039267	TLOG#41097	pre and post condition stereotype applied to informal constant is not displayed	A stereotype label was added to constraint symbols.
1061749	TLOG#41315	"Show all attributes/operations" as default for diagrams from imported C++	Regeneration support seems to be the only advantage from "new" diagram generators... And if or not class symbols are shown with attributes and operations now should depend on usual options "Show Attributes" and "Show Operations".
1062063	TLOG#41581	Unable to show all attributes/operations for multiple selection	"Show/hide attributes/operations" is working for multiple selection.
4052302	TLOG#41913	Inline Frame	Inline frame symbols appear above method call symbols on SQDE
7027402	TLOG#42121	Predefined diagram Generators fail with an internal error for Statemachines	An erroneous error message related to class diagram generation has been rewritten.
3039867	TLOG#42294	how to remove the scope before action	Now qualifiers for Activity Symbols can be completely hidden.
3039884	TLOG#42303	connection lines overlapping the symbols in the State Machine Diagram	Line router works on big diagrams
7027709	TLOG#42336	Usecases from another packages are shown with parenthesis	Use cases from remote packages are now shown without parenthesis.
7027551	TLOG#42348	'AgileEEGenerated' stereotype added to generated Java code	The Java code generator has been fixed to properly handle special stereotypes. If a stereotype has no meaning from a Java point of view, it will not appear in the generated java code
4052834	TLOG#42590	Some class attributes imported from Together do not bind properly	A problem in the Together importer has been fixed. Previously the type of some imported attributes would not bind correctly, but this has now been fixed.
4052809	TLOG#42599	Create presentation (include lines) por defecto	An option have been added to make is possible to choose if lines should be created or not created as a result of a drag & drop operation from model view to a diagram.
3040106	TLOG#42708	Core Dumps for activity simulation	A crash related to Connector symbols used in activity simulation models has now been fixed.
3040137	TLOG#42771	TAU can not show stereotype if there is an hyperlink	All stereotypes on part symbols appear
1063531	TLOG#42772	stereotype not showing on element after reloading the model	All stereotypes on part symbols appear
7028300	TLOG#42873	Passing Signal Type as a Parameter to an Operation	A semantic check has been added which reports a warning if a signal is passed as the actual argument of an operation call.
1064121	TLOG#43303	copy&paste issue in text diagram	An issue when copying and pasting text containing comments in a Text Diagram has been solved.
1064198	TLOG#43335	Automatic creation of one extra bracket on moving the signal to another package	Previously when moving a signal between packages, Tau would sometimes add an extra bracket in diagrams where the signal was referenced. This problem has now been resolved.
3040679	TLOG#43720	A part cannot have more than one multiplicity range.	The semantic check TSC3007 (concerning range checks for parts) is now only checked when generating C code or using the Model Simulator.
7029191	TLOG#43736	Impossible to set some breakpoints under the verifier	Previously when setting a breakpoint on some kinds of actions in the Model Simulator, an error message would be printed. This has now been fixed.
7029397	TLOG#43926	The '[SysML View]' information removed from Model View under certain conditions	Project nodes in the Model view don't lose active view's name anymore when saving.
2088698	TLOG#44205	HTML Model Browser file names are too long	A new naming scheme was implemented for the Model Browser to avoid long directory and file names.
4053836	TLOG#44280	Trying to draw a message from an unbound Lifeline messes up the tool	Now an unbound life line cannot be used as the source or target of a line.
2088687	TLOG#44345	Add-in that allows them to display security classification	It is now possible to set a diagram heading and footer with for example security classification.
7029841	TLOG#44402	Code generation error when having a combination of factors	The file GenerationResult.u2 could previously sometimes contain invalid XML when generated by the C code generator. This problem has now been solved.
7030104	TLOG#44619	Check All reports invalid warnings for child classes	The semantic check TSC0396 (analysis of unreachable states) has been improved to now also handle statemachine redefinitions.
4054227	TLOG#44748	validator interface window values	The upper bound of the Model Explorer bit-state depth parameter has been added to the Model Explorer user interface.
2089599	TLOG#44858	Tau 4.1 New Case - Properties Layout	Your advertising can be placed here.
7030452	TLOG#44961	The 'Hide Qualifier' button do not work on Stereotype in Diagram Heading	Hide qualifier button now works on diagram heading stereotypes as well.
1065672	TLOG#45111	Overlaped Signal symbols	The behavior when drag-dropping signals onto input symbols and transition lines is now consistent.
7030641	TLOG#45117	Activity "name" property in Tau doesn't map to SA dictionary object name	The name of an activity node created in Tau and stored in a System Architect encyclopedia, was not visible in System Architect. This is now resolved.
1065765	TLOG#45222	Ctrl+leftclick can not set anchor point on transitionline in state chart diagram	It is now possible to add and remove a vertex on a transition line.
7029937	TLOG#45309	Please show the multiplicity of pure associations in the Properties panel	It is now possible to see the multiplicity of an association's association end in the property page of an association.
2090101	TLOG#45329	TIL2371: Type mismatch for variable, formal parameter,	When generating C code or using the Model Simulator on a model containing an attribute with a default value defined in an action, the error TIL2371 can sometimes be reported due to a limitation in the C code generator. Previously it was not possible to navigate from this error to the model which made the problem difficult to resolve. Now navigation between this error and the model has been enabled.
7031046	TLOG#45384	"CHILDKILLED 6972 SIGSEGV" error when importing wsdl generated by T	The WSDL generator will now set the location to urn:undefined if it is not specified explicitly in the soap:address element.
1065990	TLOG#45459	how the Class operation can be synchronized with the DOORS module?	Now all needed presentation elements have modified flag. So tau saves them in Doors.
1066058	TLOG#45529	DOORS Defect with checkDXL() effecting Analyst View	Navigating a formal module in DOORS using the Analyst View no longer causes a memory leak.
7031206	TLOG#45537	Model View explorer icons don't properly reflect state of sync with DOORS	The DOORS export indicator icon has been improved to more accurately reflect the current state of each element.
1066064	TLOG#45556	Indication to show the existence of comment symbols	Symbols with hidden comments have an indication now. Double-click on the indicator creates the first hidden comment
2090357	TLOG#45565	Constraining BitString TIL error.	A new semantic check has been added to detect constraints of a syntype of the BitString type, as this is not supported by the C code generator.
3042267	TLOG#45566	TSC0256 reported if syntype is constrained using 'size'	The semantic checks detecting unsupported use of syntype constraints have been made more precise. Some errors have also been fixed in the handling of those syntype constraints which are indeed supported by the C code generator.
1066093	TLOG#45621	The "Show inherited literal elements" context menu option, doesn't	Inherited literals are shown now
1066096	TLOG#45633	Crash when deleting a literal from a Primitive symbol, in some cases.	Tau could at some occasions terminate when a deleting a feature from a symbol with compartments. This is now resolved.
1066087	TLOG#45660	when a diagram color is applied the "remove diagram prop" remains disabled	The 'Remove diagram properties' operation will now change the color to the color defined in options when executed on a diagram.
1066063	TLOG#45686	Exit Name Overlap	Word wrapping on return symbols' labels is now off.
7007520	TLOG#45851	Model Verifier run-time prompt is limited in number of characters shown	Previously the Model Simulator run-time prompting dialog had a limitation in how many characters it could display. This could lead to the truncation of long texts. This problem has now been solved.
7031797	TLOG#46116	Model verifier corrupts PowerSets	The Model Simulator now handles PowerSets correctly.
7031969	TLOG#46344	TAU G2 window is brought to the front automatically	The tool's window is blinking when loaded project is modified outside (on Windows only).
4055513	TLOG#46477	'Check All' does not find unbound Signal Parameter	An error in a diagram of the 'umlVerificationCoffeeMachine' example has been corrected.
4055578	TLOG#46575	Memory leaks with Automatically Generated Serialisation Routines	Fixed a memory leak for the ascii coder library.
1066906	TLOG#46791	Object diagram in DOORS\Analyst	I have added object diagram and stuff to analyst view metamodel.
4055341	TLOG#46935	Calling an operation in a class with inner structure fails	The C translation of a public operation of an active class with innner structure has been corrected. This fix applies both to the C code generator and the Model Simulator.
7032701	TLOG#47215	Adding inline frame does not work	Now refreching of symbols should work fine
4025369	TLOG#47422	Autolayout in Interaction Overview Diagrams does not work properly	Autolayout has improved; also undo after doing "automatic layout" has been fixed.
1067654	TLOG#47754	Missing end tag of elements on Tau exported XMI file	Tags are not missed while XMI export.
4056629	TLOG#48079	Last created descision branch causes errors because of faulty temporary indexes	For the C code generator and Model Simulator the initialization of temporary variables which are used in transformation of complex index expressions has been corrected. Now initialization of temporary variables is not skipped when index expression is used in condition of decision action.
65031,999,000	TLOG#49022	Switch statements with more then one branch ignores the Default branch if test is an expression	For the C code generator and Model Simulator the translation of a switch statement with more than one branch has been corrected. Now it does not ignore the default branch if the condition of the switch statement is a call expression.
56164,SGC,724	TLOG#49161	Test Framework and XSD Framework clashes so that building failes	A problem in the usage of the <<import>> stereotype in the TestingProfile has been fixed. A qualifier has been added to avoid name clashes with the predefined <<import>> stereotype.
53367,100,838	TLOG#49279	Java Runtime Library 6 corrupt or incomplete	Now Java runtime 6 libraries are loaded properly when creating a UML for Java Code Generation project
	TLOG#49501	GB18030: GB18030 characters will garbaged when copy to URL.	'Copy to URL' operation now also set the Unicode clipboard format.
50311,000,744	TLOG#49865	Tau MV build launched using Build -> Start Model Verifier crashes if stopped using Build -> Stop.	An Application Builder crash that sometimes occurred when stopping a running Model Simulator has been fixed.
91314,999,706	TLOG#49975	11 TIL/TCC errors issued when having redefined inherited port	Previously when generating C code for an active class which redefines inherited ports, the internal errors TIL2001 and TCC0800 were reported. This has now been fixed.
6007017	TLOG#22308	Multithreaded Generated application crash	Several improvements were made in the TOR C++ library to better support multithreaded applications. NOTE: As part of the changes, the global eventManager variable is no longer available as it was not thread-safe. Models that use it should be updated to instead use the static functions of the EventManager class.

6011961	TLOG#26153	When build artifact disable instrumentation,VS project shouldnt have these macro	For the <<Makefile Generator Settings>> stereotype new option fields have been added. Now it is possible to override the default output file name for the C++ project and to set up user-defined preprocessor defines and additional include directories. Also the Microsoft Visual Studio integration supports these new options and can update the corresponding Visual studio project settings.
6019808	TLOG#36739	Use Case based on requirement text	The "Create Use Case" wizard has been improved to allow using attribute values, such as the Object Heading, as the use case name.
3038746	TLOG#39938	ER: Tau and MSVS needs better coupling	The MS Visual Studio integration has been significantly improved. Many errors have been fixed and C++ projects are now exported to MSVS correctly including all project settings. Note however that files created in a VS project do not get updated in Tau. Therefore before adding a new file in MSVS it should first be added in Tau.
4005184	TLOG#47222	When a class inherits from a class, one can not call methods inherited from pare	Inheritance of both concrete and virtual methods is now supported for passive classes in the C backend. Note that explicit or implicit upcasts of a passive class is still not supported, so ad-hoc polymorphism/dynamic dispatch (using derived classes through a super class interface) does not work.
4005076	TLOG#47223	Inheritance does not inherit methods	Inheritance of both concrete and virtual methods is now supported for passive classes in the C backend. Note that explicit or implicit upcasts of a passive class is still not supported, so ad-hoc polymorphism/dynamic dispatch (using derived classes through a super class interface) does not work.
3023232	TLOG#20323	TIL Errors are received if you use Own datatype in TAU G2.	Now the Own type is supported by the C code generator and Model Simulator. The Own type has the following operators: 1. [static] make(ItemSort). Usage: Own<Integer> x; x = Own<Integer>::make(10); 2. [non-static] Set(ItemSort) Own<Integer> x; x.Set(10); 3. [non-static] ItemSort Get() Usage: Own<Integer> x; Integer k; k = x.Get(); IMPORTANT NOTE: The type Own<T> where T is a Class is translated to newtype @ptr_T Ref( T) endnewtype; newtype @TmplInst_OwnTR Own( @ptr_T) endnewtype; If you need a value semantics, you should use the Value<> syntype: Own<Value<T> >. The Own<Value<T> > will be translated to newtype @TmplInst_OwnTV Own( T) endnewtype; The same mapping rules are used with other containers (String, Array, PowerSet).
91259,999,706	TLOG#50184	Nmake errors while trying to build the model.	Generated C code may result in "'x' : is not a member of 'T'" compile errors when: 1) An active class B inherits from active class A 2) Active class A contains statemachine, or gate or public variable or public operation 3) Active class B contains guard condition for the state * that references class B local variable This problem has been fixed.
2092793	TLOG#48091	Tau G2 4.2does not provide info on TIL errors	Tau G2 4.2 does not provide complete info on TIL errors - a reference to model element is missing in the error message. This defect has been fixed.
03006,122,000	TLOG#49039	Tau web server needs to close due to a socket error: INVALID_SOCKET	If the default Tau Web Server port is occupied when launching Tau, Tau would not start. This has been fixed.
2090302	TLOG#45424	Tau crashed while starting Model verifier	Application Builder no longer crashes when starting the Model Verifier without an artifact.
2090300	TLOG#45393	Tau G2 doesn't support modifying OctetString data types in MV watch window	It is now possible to edit octet string in the Watch window.
2090562	TLOG#45559	cannot inject message to MV	The Model Verifier no longer halts if signals with large parameters are sent into the system.