Bug in HAL component of the TLC example
data state variables can be assigned NoVal - this leads to a simulation error
HAL component:
setAndOutputVariables
Guard: ((HALInTrafficSignal != NoVal || HALInPedestrianSignal != NoVal)
|| HALInIndicatorSignalA != NoVal) || HALInIndicatorSignalB != NoVal
Actions: trafficSignal=HALInTrafficSignal;
pedestrianSignal=HALInPedestrianSignal;
indicatorSignalA=HALInIndicatorSignalA;
indicatorSignalB=HALInIndicatorSignalB;
HALOutTrafficSignal=trafficSignal;
HALOutPedestrianSignal=pedestrianSignal;
HALOutIndicatorSignalA=indicatorSignalA;
HALOutIndicatorSignalB=indicatorSignalB
so in this case, if we have HALInTrafficSignal On() and HALInIndicatorSignalA NoVal we get a simulation error
(from redmine: issue id 1733, created on 2013-09-18, closed on 2013-10-08)