MSC Feasibility Check does not work if the data dictionary contains a double. Even if it is not used at all
One definition of e.g., a user-defined function, which uses a double is
sufficient to stop MSC Feasibility Checks from working. Even if this
function is not used in the entire model at all. AF3 stops by saying
this language fragment is currently not supported.
It seems to me that AF3 tries to translate the entire data dictionary in
order to build the NuSMV Model. A selective approach where only the
types and functions used in the MSC/Component would solve the problem.
(from redmine: issue id 1246, created on 2013-02-01, closed on 2013-02-02)
- Relations:
- parent #1251 (closed)
- Uploads: