Bug: "bug: can't convert IntInf value to ?" for some temporal logic operators
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2018-11-29 | Reactis for Simulink | Resolved in 2018.0.2 (released Dec 20, 2018; release notes) Resolved in 2017.2.4 (released Dec 20, 2018; release notes) | ||
|
If a context-sensitive constant (e.g. "25c") is used as the expression for a temporal logic operator (e.g. "after") in a Stateflow chart, Reactis produces an error saying: bug: can't convert IntInf value to ? | ||||