Skip to main content

PM78706: Transition Priority Problem - nondeterminism in Rational Statemate


Subscribe

You can track all active APARs for this component.

 

APAR status

  • Closed as program error.

Error description

  • A combination of transitions with and without transition
    priority in a statechart leads to nondeterminism in Statemate
    simulation.
    When transition priority is used, then a workaround is to use
    transition priority of all transitions in the statechart.
    

Local fix

Problem summary

  • ****************************************************************
    * USERS AFFECTED:                                              *
    ****************************************************************
    * PROBLEM DESCRIPTION:                                         *
    ****************************************************************
    * RECOMMENDATION:                                              *
    ****************************************************************
    Transition Priority Problem - nondeterminism in Rational
    Statemate
    

Problem conclusion

  • Fixed in 4.6.1.7
    

Temporary fix

Comments

APAR Information

  • APAR number

    PM78706

  • Reported component name

    TLOGIC STATEMAT

  • Reported component ID

    5724V76SM

  • Reported release

    461

  • Status

    CLOSED PER

  • PE

    NoPE

  • HIPER

    NoHIPER

  • Special Attention

    NoSpecatt

  • Submitted date

    2012-12-07

  • Closed date

    2013-03-20

  • Last modified date

    2013-03-20

  • APAR is sysrouted FROM one or more of the following:

  • APAR is sysrouted TO one or more of the following:

Fix information

  • Fixed component name

    TLOGIC STATEMAT

  • Fixed component ID

    5724V76SM

Applicable component levels

  • R461 PSN

       UP

Rate this page:

(0 users)Average rating

Copyright and trademark information

IBM, the IBM logo and ibm.com are trademarks of International Business Machines Corp., registered in many jurisdictions worldwide. Other product and service names might be trademarks of IBM or other companies. A current list of IBM trademarks is available on the Web at "Copyright and trademark information" at www.ibm.com/legal/copytrade.shtml.

Rate this page:


(0 users)Average rating

Add comments

Document information

Rational Statemate


Software version:
4.6.1


Reference #:
PM78706


Modified date:
2013-03-20

Translate my page

Content navigation