[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

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.