NoVal handling in C-Code
if transition guard is “Input != true” C-Code equivalent gets:
(INPORT_Input_NOVAL_FLAG false || INPORT_Input != true)
so when Input = true, it should not fire this transition.
BUT: (INPORT_Input_NOVAL_FLAG false || INPORT_Input != true)
returns TRUE
(from redmine: issue id 821, created on 2012-05-16, closed on 2012-06-11)