Can DataStateVariables inside an automaton be NoVal?
- in the simulator this is allowed (a local variable to a state automaton can be NoVal)
- in the C, Yices, NuSMV code generators this is not allowed
I think that this is a more fundamental discussion … in my opinion the NoVal makes sense for streams and not for data-state-variables
(from redmine: issue id 764, created on 2012-04-06, closed on 2012-04-28)
- Relations:
- child #760 (closed)
- parent #849 (closed)
- Uploads: