Bug: Extra RTE assertions generated for some models containing diagram-based virtual sources
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2023-07-05 | Reactis for Simulink | Resolved in 2023.0.1 (released Aug 21, 2023; release notes) | ||
|
For some models containing diagram-based virtual sources, the coverage summary in and the HTML coverage report may show "Integer Overflow" or "Inf/Nan" assertions that are not visible in the GUI coverage report or main panel. Specifically, this occurs if the data type of the virtual source's input port does not match the data type of the connected signal. In this case a hidden "Data Type Conversion" block is inserted for which coverage is tracked but cannot be visualized in the GUI. | ||||