Hi everybody,
I suppose it is a question that has already been answered and I apologize but if
somebody could enlighten me anyway.
If I have a:
CONSTANT GETC(_)
and in the model if I have
GETC(x) <- CHOOSE y \in { A, NEWLINE, NULL } : TRUE
and if I launch TLC
then I always get NULL
why ?
--
FL