Bug: Reactis keeps re-importing some models instead of using MWI cache files
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2025-02-03 | Reactis for Simulink | Resolved in 2024.2.2 (released Jun 03, 2025; release notes) Resolved in 2024.0.5 (released Jun 03, 2025; release notes) | ||
|
If a model contains a Stateflow chart containing a comparison operation "x < N" where x is any expression and N is a negative integer literal (e.g. "foo < -1") AND the chart is set to "saturate on integer overflow" AND binary caching is disabled for the model then Reactis will go through the "Importing model" stage (instead of using the MWI cache) every time Simulator gets enabled or Tester is run. | ||||