When translating AF3 integers to NuSMV use word types instead of ranges
this should result in a much more optimized translation
(from redmine: issue id 730, created on 2012-03-17, closed on 2012-04-23)
- Relations:
- parent #849 (closed)
this should result in a much more optimized translation
(from redmine: issue id 730, created on 2012-03-17, closed on 2012-04-23)