[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: null value assigned to a sequence at model checker
Computing initial states...
Finished computing initial states: 1 distinct state generated.
Error: Successor state is not completely specified by the next-state action.
Error: The behavior up to this point is: