Translation of enumerations to NuSMV uses their plain names
name and ID would be better
(from redmine: issue id 855, created on 2012-06-14, closed on 2012-07-07)
- Relations:
- parent #849 (closed)
name and ID would be better
(from redmine: issue id 855, created on 2012-06-14, closed on 2012-07-07)