Back to all issues

Issue 4053

Bug: Support time-based temporal logic in enabled subsystems


SubmittedProductStatus
2018-09-17Reactis for SimulinkResolved in 2018.0.1 (released Oct 05, 2018; release notes)

Reactis previously did not support time-based temporal logic in enabled subsystems due to non-intuitive behavior in Simulink in some cases. Add support for such temporal logic for models with fixed-step solvers.