[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] unexpected print output
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Thu, 14 May 2015 01:50:48 -0700 (PDT)
References
: <
4184b0f7-c2f5-451f-a52a-f938a45cd40a@googlegroups.com
> <
A8099D68-FE13-4F8F-8D48-3851B730532C@gmail.com
>
Stephan is correct. Note that when model checking a non-deterministic spec such as a multi-process algorithm, even in the absence of errors, print statements may be executed in an unexpected order.
Leslie
Follow-Ups
:
Re: [tlaplus] unexpected print output
From:
Andrew Helwer
References
:
unexpected print output
From:
Y2i
Re: [tlaplus] unexpected print output
From:
Stephan Merz
Prev by Date:
Re: [tlaplus] unexpected print output
Next by Date:
Re: [tlaplus] unexpected print output
Previous by thread:
Re: [tlaplus] unexpected print output
Next by thread:
Re: [tlaplus] unexpected print output
Index(es):
Date
Thread