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

Re: Bug in TLC when checking if integer record field is element of integer range

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Thu, 16 Jul 2015 13:15:24 -0700 (PDT)
References: <c477515e-5846-491d-82c2-9137680bc633@googlegroups.com>

Hi Andres,

TLC has been in use for over a dozen years. It is very unlikely that
it has a bug that would manifest itself on such a simple task as
computing if a simple value is an element of a simple finite set.
TLC is correctly reporting an error. Please try to figure out what
that error is.

Cheers,

Leslie

Follow-Ups:
- Re: Bug in TLC when checking if integer record field is element of integer range
  - From: Andrew Helwer

References:
- Bug in TLC when checking if integer record field is element of integer range
  - From: Andrew Helwer

Prev by Date: Bug in TLC when checking if integer record field is element of integer range
Next by Date: Re: Bug in TLC when checking if integer record field is element of integer range
Previous by thread: Bug in TLC when checking if integer record field is element of integer range
Next by thread: Re: Bug in TLC when checking if integer record field is element of integer range
Index(es):
- Date
- Thread