[Analysis] NuSMV transformation disregard initial Values of Ports of Strong Causal Components
Somewhere in the transformation, the Initial Values for the Ports of Strong Causal Components are lost.
(from redmine: issue id 2831, created on 2017-02-09, closed on 2017-02-20)
- Uploads:
- StronCausalPort_InitValueBug.af3_23 AF3 Project
- Component.smv Generated SMV File