[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: null value assigned to a sequence at model checker
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Fri, 27 Mar 2015 11:54:34 -0700 (PDT)
References
: <
3012d469-1627-4f8b-8ff8-cd39dd424b19@googlegroups.com
>
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:
References
:
null value assigned to a sequence at model checker
From:
Adriano Holanda
Prev by Date:
null value assigned to a sequence at model checker
Next by Date:
Re: [tlaplus] Minimal subet of files to keep in a git repository
Previous by thread:
null value assigned to a sequence at model checker
Next by thread:
Pcal, procedures and tests
Index(es):
Date
Thread