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.