[nhc-users] Hat error message

[Malcolm Wallace]

Hi Amanda,

> What does this error mean when running a program compiled with -T? How
> can I increase it?
>
>     Exceeded size of SAT stack

The SAT stack is a structure internal to the tracing runtime system,
and really, this error message should never occur.  The SAT stack
is set to the same size as the ordinary evaluation stack, so you
should see a normal evaluation stack overflow rather than a SAT
stack overflow.

Using the normal means (-Vnum) to increase the stack size should
eliminate the error message.  The default is 80kb.

Regards,
    Malcolm