Back to all issues

Issue 5638

Bug: Use of absolute time temporal logic in some places causes bug message when using MATLAB action language


SubmittedProductStatus
2025-03-14Reactis for SimulinkResolved in 2024.2.2 (released Jun 03, 2025; release notes)
Resolved in 2024.0.5 (released Jun 03, 2025; release notes)

Stateflow includes temporal logic functions after, before, and at (among others). Absolute time versions of the temporal logic functions depend on run time rather than counting the occurrences of a given event. For example, after(30,msec) is true after a state has been active for 30 milliseconds or more. One place such temporal logic can be used is in transition labels of the form x[y]{z}/a. When using the MATLAB action language if an absolute time version of a temporal logic function is used in the x portion of the label (before the brace [), then Reactis produces a bug message during simulation: "Error processing Stateflow temporal logic. Unexpected operator: afterRE"