Re: [nhc-users] Hat error message

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