Bug: Expression Validator Assertions in specific configurations incorrectly classified as impossible to violate
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2021-09-08 | Reactis for Simulink | Resolved in 2021.0.1 (released Nov 08, 2021; release notes) Resolved in 2020.2.3 (released Nov 08, 2021; release notes) Open in 2019.2.6 | ||
|
Some Validator assertions of "expression" type may be incorrectly marked as "impossible to violate". This only happens for assertions whose inputs are of "single" data type and only in specific configurations. | ||||