IBM Rational Tau and DOORS Analyst 4.3.0.3 Fixed problems

IBM Corporation
December 10, 2010

 © Copyright IBM Corporation 2002, 2010
U.S. Government Users Restricted Rights - Use, duplication, or disclosure restricted by GSA ADP Schedule Contract with IBM Corp.

Fixed Problems in 4.3.0.3

APAR

Customer Call Ticket

CR ID

Synopsis

Release Notes Text

PK81224

03396,122,000

TLOG#48882

Tau code generation errors related to GUID- TIL2369,TIL2341

Previously when generating C code for a model errors related to none visible definition from other package could show up ( TIL2077: Undefined sort, TIL2369: No matching field selection, TIL2371: Type mismatch... ).

These errors related to the handling of syntypes for passive classes and to the mechanism for initializing attributes in generated code. Code generation has now been improved to avoid these errors.

 

51689,000,744

TLOG#52246

Want Natural to be mapped to ‘unsigned int’

The mapping for Natural has been changed to 'unsigned int' in generated code.

 

91613,100,838

TLOG#55212

Please intoduce a 'Yes to all' button for DOORS modules when saving Tau model

Now modules saves before closing.

 

93052,100,838

TLOG#56861

DXL error when using 'DOORS - locate' and the DOORS module do not exist

A null pointer check was added to the locate function.

 

81349,999,744

TLOG#58171

Brackets are missing error reported on build after the file was re-imported

The case is duplicate of TLOG#57970

 

67219,122,000

TLOG#60043

TIL2312 error observed during build for statements with mod (%) operator.

Added support for % operator.

 

86296,122,000

TLOG#60883

HTML Report Generation causes Tau crash

Memory leaks on image saving have been removed.

 

87429,019,866

TLOG#60885

One can not define XCONST for SCTAPPLCLENV

XCONST and XCONST_COMP macros are obsolete and we have updated the documentation accordingly

 

89657,019,866

TLOG#61154

XPRINTALLOC prints faulty memory usage when using external functions

XPRINTALLOC mode has been fixed to print current memory usage with regard to xFree calls. It decreases total allocated memory size if memory is freed.

Documentation on XPRINTALLOC and XCHECKALLOC compile switches has been added.

 

86422,019,866

TLOG#62218

Optimization wanted in the Dynamic Range Checking

The flags XECUSTOMHANDLERS and XENOUSERWF have been added to the kernel. They allow the user to remove the need for the coder functionality when using error checking functions and to supply their own implementations for error handling.

 

92474,019,866

TLOG#62224

Further differences in the generated code

Redesigned C code generator to avoid random names and random order of elements in the generated C code.

 

94287,019,866

TLOG#62934

Class hierarchy unnecessary initialized multiple times

Fixed problem with multiple initialization of struct fields.

 

94234,019,866

TLOG#62937

Call to an inherited function do not work as expected

Added Model Verifier/C code generation specific check for virtual/redefined operations in passive classes and datatypes.

 

94551,019,866

TLOG#63088

Tau crashes during Compare/Merge

The crash occured while comparing/merging two models when differences between these models included "move" operation of an expression action specified on text diagram. This problem is fixed now.

 

 92474,019,866

 TLOG#62224

 Further differences in the generated code

 Redesigned C code generator to avoid random names and random order of elements in the generated C code.

 

 94551,019,866

 TLOG#63088

 Tau crashes during Compare/Merge

The crash occurred while comparing/merging two models when differences between these models included "move" operation of an expression action specified on text diagram. This problem is fixed now.

PM22590

 92474,019,866

 TLOG#62224

 Further differences in the generated code

 Redesigned C code generator to avoid random names and random order of elements in the generated C code.

 

48366,122,000

TLOG#57972

Error TIL2066 observed when using an attribute.

Having const attributes in passive classes from different packages resulted in TIL2066 error when using one of attributes in scope where the class owning the other one was also visible. This problem has been fixed.

 

88151,122,000

TLOG#60928

Tau models with external operations returning OctetString crashes during sdtsan

C Code generator crashed when an external function without parameters with only return value was used in expression for which procedure result is passed by reference (for example, assignment expression for OctetString str = MyFunc();).
This problem has been fixed.
There is also a workaround for the issue - add one dummy parameter to external function.

 

 

TLOG#61366

variables not initialized if a class doesn’t have a state machine associated with it

- Now variables will be initialized

 

 

89618,019,866

TLOG#61130

Differences in cast operators between code generated on different machines

Changed the algorithm for generation @cast_XXX operators. Now it will use fixed suffixes for operator names. This should keep generated code the same on different platforms/machines.

 

Fixed Problems in 4.3.0.2

APAR

Customer Call Ticket

CR ID

Synopsis

Release Notes Text

 

7021731

TLOG#37323

Option to edit merge result in review differences dialog.

The "Editable Merge" feature are implemented in the Tau Compare/Merge tool. This feature allows to edit merge result directly in the review difference dialog.

 

3042861

TLOG#46463

Tau 4.2 crashes only on Chiness XP when running specific model

Problems with multibyte encodings sometimes caused crash on Chinese and Japanese machines and sometimes resulted in incorrect symbols on MSC diagram during verification. These problems have been fixed.

 

3043809

TLOG#47448

Step Over did not step over the operation

Added documentation on how to properly step over RPC calls in Model Verifier.

 

7033524

TLOG#47884

Faulty TestCase translation when signals can be both sent and received by SUT

Signal output to SUT is not correctly translated when the same signal is both sent to and received from SUT. This results in FAIL verdict for the test that works ok.

This defect has been fixed.

 

 

TAU#8214

Implement Compare/Merge support for Analyst models.

New menu to the CM module was added for support projects and model selection form Doors DBs.

 

51165,000,744

TLOG#51359

An option to obtain the coverage statistics through console window.

Print-Coverage-Table console command has been extended to obtain coverage statistics from command line. A new section with coverage statistics is now printed into the specified file for Print-Coverage-Table command. It looks like this:

****************** COVERAGE STATISTICS *********************

 

Active class name : unit kind : Covered% ( N Covered / N Defined )

----------------------------------------------------------------------------

TOTAL : Statements : 60% ( 34 / 56 )

TOTAL : Transitions : 62% ( 10 / 16 )

----------------------------------------------------------------------------

Controller : Statements : 54% ( 23 / 42 )

Controller : Transitions : 54% ( 6 / 11 )

Hardware : Statements : 78% ( 11 / 14 )

Hardware : Transitions : 80% ( 4 / 5 )

 

The following requirements are achieved:

1) Same Transitions, Symbols covered in consecutive runs do not increment counts. "N Covered" shows overall count which holds the different transitions, symbols covered in consecutive runs

 

2) Report contains the total number of transitions, symbols defined in the model, and the total coverage percent

 

3) It is possible to get statistics in the very beginning of model execution, when no symbols and statements have been covered. The table will contain 0 for coverage, but correct figures for the total number of defined transitions and symbols

 

51132,000,744

TLOG#51360

An option to obtain the coverage statistics with total number of transitions covered under multiple test cases.

Print-Coverage-Table <file> console command has been extended to print coverage statistics for transitions and symbols that contains :

1. Total No. Transitions, symbols defined in the model.

2. Total No. of Transitions, symbols covered in the test executions (in a single launch session) such that a transition / symbol counted during a particular test execution is not counted again if covered as a part of the sub-sequent test execution(s).

 

Coverage statistics is printed into <file> into new section "*** COVERAGE STATISTICS ***".

 

70337,019,866

TLOG#51621

Please make it possible to sort the signals in the MV signal list drop-down box

New option is introduced to make entities in combo boxes of MV Messages view sorted alphabetically. This option is available in Advanced options tab, via U2/Debugging/SortedComboBoxes path. Option is on by default.

 

64766,019,866

TLOG#51746

Building a model that initially was saved at urn:u2tauproject gives a lot of errors and warnings if it has been moved

Tau will prefer relative paths over absolute when saving model parts in different files.

 

00404,999,706

TLOG#52557

Breakpoint is missed during test case execution due to a signal receipt failure on Test Profile artifact.

Now if state has just one triggered transition with guard condition for the same signal, the arguments of the signal will not be ignored when generating C code.

For the case when state has more than one such transition, a proper warnings will be generated during the build.

PK95079

71517,999,744

TLOG#52966

Tau Testing Profile build aborts with message 'Test Generation Failed' with no actual errors but the error count

Tau Testing Profile build aborts with message 'Test Generation Failed' with no actual errors but the error count. This happens when the model contains <<informal>> elements, for example, interaction diagrams that reference private class attributes. Error messages are not printed to output tab, because they refer to informal elements, but error messages are visible if you run Build from command line using TauBatch.

This problem has been fixed. Informal elements are now ignored during check.

PK98783

64579,019,866

TLOG#54268

Performance problems in a big model

This is now mentioned in the Known Limitations document.

PM00003

01792,SGC,618

TLOG#54535

Comments are not synched to Tau (DOORS stored model) when changed in DOORS

The documentation is updated.

 

05341,122,000

TLOG#54615

TIL2087 reported in a scenario although PID expression is not used.

Fixed translation of the call expression where the called operation has the same name as operation that contains the call expression.

 

 

TAU#8721

Containment line can be started on symbols that can't be containers

Now only StrucutureClassifier, Package, DataType, Method and Collaboration can be source of ContainmentLine.

 

53020,000,744

TLOG#54882

OPERATION DECLARED PUBLIC IS NOT EXECUTED BY TAU.

Now the local calls of remote operation are not translated as remote calls.

PM01409

15961,122,000

TLOG#54995

Not able to get back to the Automated merge result (duplicate of verified CR: TOG#24041)

Remerge now works correctly for text text symbols and task symbols.

 

91613,100,838

TLOG#55212

Please intoduce a 'Yes to all' button for DOORS modules when saving Tau model

Now modules saves before closing.

PM02757

46250,650,758

TLOG#55329

OBJECT (NAMEDINSTANCE) SLOT NOT CONSISTENT BETWEEN DIAGRAM/MODELVIEW/PROPERTIES

Previously when slot expressions were created in property editor they did not appear in model view. It has been fixed.

 

30830,999,000

TLOG#55470

THE TAU-SYNERGY INTEGRATION DO NOT ALLOW YOU TO GIVE YOUR CREDENTIALS WHEN LOGIN INTO SYNERGY FROM A LINUX MACHINE

The username and password credenials input filelds was added.

 

80316,999,744

TAU#8926

Issue with the initialization of variables of type Enumerations and Booleans in derived classes.

Corrected translation of default values of class attributes.

 

 

TAU#8842

Import SDL for Japanese OS - failed

The Known Limitations document have been updated.

 

93052,100,838

TLOG#56861

DXL error when using 'DOORS - locate' and the DOORS module do not exist

A null pointer check was added to the locate function.

 

29918,122,000

TLOG#57349

Cursor moves to the left when a message name is typed (duplicate of TLOG#56762 and TLOG#56898)

Previously cursor could jump to the left when editing text in certain situations. It has been fixed.

 

82578,019,866

TLOG#57621

Please introduce a NULL-pointer check for xHexStr_SDL_Octet

Fixed a bug in xHexStr_SDL_Octet that allowed bad input.

 

82591,019,866

TLOG#57627

Please document the SCTDEBRMT compiler flag

Added documentation for the SCTDEBRMT compiler flag

 

82591,019,866

TLOG#57738

Using the 'conditional' Stereotype causes build to fail with TSC4515

Added checks to ensure that only readonly attributes with default value are used in <<conditional>> stereotype.

 

82905,019,866

TLOG#57818

Test Profile does not take the conditionalInit() operation into consideration

Test Profile now takes into account conditionalInit() operation.

 

91632,999,000

TLOG#57820

TCI0007 error encountered when trying to import a C++ file into Tau.

Import of Borland C++ code has been improved.

 

83389,019,866

TLOG#57920

Faulty help files regarding Conditional Constants

Documentation updated.

 

53719,000,744

TLOG#57943

TIL ERRORS WHILE BUILDING A MODEL

Now syntypes of passive classes are properly handled by C/Model Verifier code generator.

 

83012,019,866

TLOG#58172

Using a 'const' as in/out parameter is not found by checker. Give TIL-error

Usage of constant as actual argument for in/out or out parameter is now checked by the semantic checker.

 

10287,999,000

TLOG#59111

Incorrect WSDL generation by Tau with the Generate WSDL option

Corrected generation of WSDL from pure UML models.

 

86076,019,866

TLOG#59357

Tau Kernel files contains dubious comments

Obsolete dubious comments and commented code were present in some installation kernel files. They have been removed or rewritten to reflect up-to-date status.

 

67194,122,000

TLOG#59622

Tau 4.3.0.1 generated binary crashes with error :"glibc detected *** : double free or corruption (fasttop):"

Tau crashes with an error:"glibc detected ***: double free or

corruption (fasttop):" when executed on target machine. It happens when the model calls external C function that creates a new charstring with 'T' as first symbol, which means temporary value (should not be copied with strcpy but can be reused during expression evaluation and assignments).

This problem has been fixed.

 

88060,019,866

TLOG#60469

Sending in an OctetString to an external function causes a memory leak

Passing OctetString type as a parameter to an external function caused memory leak and forced to call free inside external function that was not needed before.

This problem has been fixed.

 

Fixed Problems in 4.3.0.1

APAR

Customer Call Ticket

CR ID

Synopsis

Release Notes Text

 

6004951

TLOG#21140

Using Accept/Reject buttons make no difference in the Result View

It was not possible to select a proper merge result for a text in InlineFrameSymbol by selecting Version1/Version2/Ancestor in the ReviewDifference dialog. This problem is fixed now.

PK96460

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.

 

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 behaviour port.

 

3038367

TLOG#39297

Issue when Timer Optimization is Enabled

Fixed AVL timer queue handling problems which resulted in wrong behaviour of the generated code when Timer Optimization is Enabled. Updated functions SDL_Reset and SDL_Stop from sctsdl.c .

 

2084234

TLOG#39430

Tau 4.0 Eclipse integration regression

The menu with location and synchronization items for editor window was reimplemented.

PK84718 and PK88493

2084875

TLOG#39983

getpidbl returns wrong process instance

For a part containing statemachine with finite multiplicity > 1 that composes another part, sending signals to instance #2, #3 etc. does not work fine and signals in any case are received by instance #1. This has now been fixed.

There are three new semantic checks implemented. A class attribute check fires only when a parent class attribute is used in the other scope and the parent class (or its derived or base classes) contains parts or nested active classes and there is somewhere a non single attribute of this type.

 

1060683

TLOG#40100

Multiplicity of Active Class behavior and with internal structure is unsupported

Clarified documentation about the C code generator limitation that multiplicity of active classes with behavior and with internal structure is not supported.

 

4052832

TLOG#42575

Association multiplicity not shown on diagram unless file is checked out

Association line multiplicity was not displayed for lines that were in a non-editable state (such a checked in element under source control).

 

7028019

TLOG#42598

Please indicate the (Synergy) model version/release that is loaded in the tool

Now synergy information indicates by following manner:

Template: <filename> [<release><current_synergy_delimiter>]<version>]

Example: Package1.u2 [my_rel-1.2.1]

In Doors Integration Version before [...] adss 'scc':

'scc[<release><current_synergy_delimiter>]'

 

7028063

TLOG#42767

TauG2 4.1 does not explain why "No licenses available"

For the first checkout call in a session and a license server is used a check is made to make sure that the license server FLEXnet version is equal or higher than the application API FLEXnet version. The return value is TL_WRONGSERVERVERSION if there is mismatch of versions. Thus the call to tl_CheckServerVersion is not needed. For details on the functionality see the tl_CheckServerVersion function.

The idea is that you can override this error by trying again.

PK84713

7033775

TLOG#48178

Tau 4.2.0.1 Simulator not running correctly a Tau 3.1 model

Added backward support for old debug configuration files.

 

2092933

TLOG#48180

Tau Validator - test value - removing one singal removes all

Tau Model Explorer: In the Test Values tab, it is now possible to remove a single signal by clicking the '[Remove]' link next to it. Previously this resulted in all signals of the same type being removed. The functionality is also available for the command line interface by using the new command "Clear-Single-Signal".

PK81224

3044682

TLOG#48882

Tau code generation errors related to GUID- TIL2369,TIL2341

Previously when generating C code for a model the error TIL2371: Type mismatch... could show up. This error related to the mechanism for initializing attributes in generated code. The initialization mechanism has now been improved to avoid this error.

PK81516

92467,180,000

TLOG#49016

VCS.EXE - catastrophic memory growth for each transition fired

New option to switch the execution history saving was added.

This enables user to get rid of history if he does large calculations.

PK81820

73293,487,000

TLOG#49180

Cannot associate Tau project to Synergy Task

Now while creating new project it is possible to select existing user task and use it or create new one like it was possible in previous versions. Also in this case was fixed bug with user tasks list in toolbar. It has no tasks while start up. Now it's fixed.

PK82581

53369,100,838

TLOG#49473

Error importing Java code

Now there is no errors appear. All changes were done in compliance with recommendations.

PK84712

90953,999,706

TLOG#49868

TNR errors while trying to build the model

Corrected translation of triggered transitions with the same trigger, but different guard transitions.

PK86568

92300,999,706

TLOG#50962

Import if several xsd files containing includes duplicates the imported schemas

When importing multiple XSD files including other schemas, each schema is now only imported once, even if it is included several times.

PK87224

50901,000,744

TLOG#51090

Multiple composite states when used in a state symbol seperated by comma do not work.

Added semantic error for the case when state symbol has reference to more than one composite state.

PK89594

93914,999,706

TLOG#51667

Signals from packages with é in the name get scrambled parameters in the SQD trace

A problem related to corrupted text strings in the sequence diagram trace produced by the Model Verifier has been solved.

PK92156

48241,122,000

TLOG#51852

XML read errors while trying to diff merge a Tau U2 file from Clear Case.

When trying to do diff merge a .u2 file from within Clear Case user would get an error. This has not been fixed by load the single .u2 file into Tau (as an incomplete model). There is a risk in doing this that the model will now become corrupt. Please see Help for more information.

PK90706

94489,999,706

TLOG#51965

<<hidden>> stereotype causes Syntax errors when later edited

Textual syntax is fixed to allow stereotypes for timers and signals in class symbol.

PK90741

94541,999,706

TLOG#51973

Model Browser still export diagrams that has the <<hidden>> stereotype applied

Now <<hidden>> diagrams are not exported to HTML

PK92253

77815.100.838

TLOG#52332

DOORS Analyst 4.3 opens with a blank page.

When a project stored in DOORS was loaded for the first time and Tau was closed without saving the workspace, the project would not be properly loaded the next time. This has now been fixed.

PK92850

00378,999,706

TLOG#52453

Tau model with signal receipt and guard after a '*' state,reports NMAKE errors during make.

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 B contains a triggered transition from state * with a signal and a guard condition that references class B local variable (for example, Signal1(a) [a == b], where 'a' and 'b' are class B local variables)

 

This problem has been fixed.

PK93249

48571,663,706

TLOG#52571

DOORS Analyst tries to save and synchronize even if there are no changes made.

Force saving workspace after loading project was added to avoid wrong workspace creation and saving.

PK93724

78065,100,838

TLOG#52686

TM Errors when trying to convert a module

Model files referenced by model dependencies are now only loaded when creating a new project or when inserting a file into an existing project. To resolve missing files in other situations, the files needs to be inserted into the project manually.

PK94118

01601,SGC,821

TLOG#52789

Dependency between namedinstances in Object Diagram does not bind and shows up in red

Now dependency can be bound to named instance.

PK95824

78847,100,838

TLOG#53214

TAU crash - APAR: PK95824

Corrected infinite recursion in the name resolution.

 

50858,999,000

TLOG#53274

Connector lines cannot be printed in color.

Lines were previously always printed black, even though the line was colored.

PK96140

85868,122,000

TLOG#53317

A Syntype definition from the U2p file is not updated on to the U2 file.

Now "constants" constraint is updated correctly from u2p file.

PK98966

05010,122,000

TLOG#54312

A commented assignment line when uncommented leads to TNR0029 error during build

Certain edit operations such as copy/paste in state chart diagrams, or certain editing operations in a text symbol, could occasionally lead to a model corruption (duplicate GUIDs). This problem has now been resolved.

PM00185

73664,999,744

TLOG#54608

TSC0283 error seen when customer builds the model on Tau 4.3

Template transformation has been corrected to avoid occasional expansion of predefined C/C++ templates like CPtr, CArray, etc.

PM00180

07995,122,000

TLOG#54616

Tau 4.3.0.0 version crashes during compare / merge.

The Compare/Merge tool crashed because of the bind issue in parallel versions of a model (Version2/Ancestor) This bind issue is fixed.

PM00270

90773,100,838

TLOG#54632

Rational DOORS Analyst ask about saving when closing directly after a Save All

Unnecessary Save requests have been removed.

PM00361

90810,100,838

TLOG#54657

UML-objects not saved at correct location in Tau

UML elements created in DOORS were in some situations created at an incorrect location when committing the changes to Tau. This has now been fixed.

 

79484,100,838

TLOG#54660

Please increase the COM-timeout for Tau-DOORS Synchronization

It is now possible to control the behavior of the COM timeout mechanism used when communicating with DOORS by using two registry values.

Two keys are defined in HKEY_LOCAL_MACHINE\SOFTWARE\Telelogic\TAU\4.3\Integration:

DOORSServerTimeoutDialog

DOORSServerTimeoutValue

 

DOORSServerTimeoutDialog is used to control if the COM timeout dialogs should be displayed or not. If the value is 0 the dialogs are not displayed. If the value is 1 they are displayed. The default value is 1.

 

DOORSServerTimeoutValue is used to control the timeout (in milliseconds) before showing the dialog(s). This value is only meaningful when the dialogs are enabled. The default value is 45000.

PM00428

90842,100,838

TLOG#54669

Duplicate file references when loading DOORS/Analyst model

When adding a model file referencing other files through model dependencies, multiple file references are no longer created in the project.

PM00460

90844,100,838

TLOG#54672

DOORS memory consumption increase massively when having DXL in default views and Tau open models

The amount of memory used by DOORS when using the DOORS integration was drastically reduced.

PM00508

90878,100,838

TLOG#54695

UML-Objects that in DOORS have an Object Text get Change bars when opened in Tau

UML elements in DOORS with Object Text are now marked as changed when loading the model in Tau only when the text has been changed.

PM00647

90426,100,838

TLOG#54747

The parser adds duplicate characters in green when pasting (informal) text containing keywords into symbols

A problem with syntax highlighting of auto-qouted texts have been fixed.

PM01410

74568,999,744

TLOG#54991

TSC0452 errors encountered while generating C code generation project.

Template transformation has been corrected to avoid occasional expansion of predefined C/C++ templates like CPtr, CArray, etc.

PM01409

15961,122,000

TLOG#54995

Not able to get back to the Automated merge result

Remerge now works correctly for text text symbols and task symbols.

 

91592,100,838

TLOG#55194

Please make it possible to manually type in the location for the DOORS Synchronization Module

In the DOORS synchronization settings dialog, a path to the location can now be entered manually. If a valid path is entered, only that part of the database is read and displayed when pressing the "..." button. This drastically improves the performance with large databases.

PK91774

94890,999,706

 

 TLOG#52190

 Models get corrupted (duplicated guids) by simple Copy/Paste in Statechart diagrams

 Sometimes models get corrupted (duplicated guids) by doing Copy/Paste in State chart diagrams. This has been fixed. APAR: PK91774

 

PK92156

48241,122,000

 

 TLOG#51852

 

 XML read errors while trying to diff merge a Tau U2 file from Clear Case.

 When trying to do diff merge a .u2 file from within Clear Case user would get an error. This has now been fixed by loading the single .u2 file into Tau (as an incomplete model). There is a risk in doing this that the model will now become corrupt. Please see Help for more information.

PK96140

85868,122,000

 

 TLOG#53317

 

 A Syntype definition from the U2p file is not updated on to the U2 file.

 Now "constants" constraint is updated correctly from u2p file.

 

58918,999,744 

 TLOG#49538

 Huge delay (~10 mins) in loading models, opening/ editing large statemachines in TAU 4.0

 A new option in the U2\Options\Editing\Lines is introduced in order to disable idle-time line routing when needed.

 

 

Fixed Problems in 4.3.0.0

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.