[Analyses][Constraints] multiple assignments to a port in a single transition
Multiple assignments to a port are made in a transition segment are allowed currently. If you run simulator on it then the last assignment (in the list of actions) is made. Moreover, it makes possible to prove “FALSE” in the nuXmv (according to the current implementation).
I think it should not be allowed.
(from redmine: issue id 2690, created on 2016-09-14, closed on 2017-01-30)