Problem in the NuSMV translation of DataStateVariables with double type
(from redmine: issue id 786, created on 2012-04-26, closed on 2012-05-03)
- Relations:
- parent #849 (closed)
(from redmine: issue id 786, created on 2012-04-26, closed on 2012-05-03)