[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
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.