[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Different behaviour of RandomElement during model checking and simulation mode

From: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Thu, 28 Jun 2018 17:53:50 +0200
References: <e496ab2e-190e-4e86-a400-6dd361708e48@googlegroups.com> <4fdf2c68-ea50-4be7-971c-ed072ce0129e@googlegroups.com>

On 28.06.2018 17:48, Giulio Salierno wrote:
> This commit[1] fix the bug. The new nightly build with the fix is
> available at [2]

One remark: This bug was introduced into TLC only recently. It has never
affected a released version of TLC.

Thanks

Markus

References:
- Different behaviour of RandomElement during model checking and simulation mode
  - From: Giulio Salierno
- Re: Different behaviour of RandomElement during model checking and simulation mode
  - From: Giulio Salierno

Prev by Date: Re: Different behaviour of RandomElement during model checking and simulation mode
Next by Date: Why TLA+ is based on explicit state model-checking instead of symbolic one?
Previous by thread: Re: Different behaviour of RandomElement during model checking and simulation mode
Next by thread: Why TLA+ is based on explicit state model-checking instead of symbolic one?
Index(es):
- Date
- Thread