[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

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.