FV not working in case an expression uses deep nested arrays and structures
Steps to reproduce:
- Open the attached model.
- try to run state reachability or non-determinism check.
Expected: the check should run.
Actual: There is an exception in the console (java.lang.ClassCastException)
(from redmine: issue id 3490, created on 2018-08-22, closed on 2018-09-14)
- Relations:
- parent #3489 (closed)
- Uploads: