[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
After completion of proof, whenever I try to see the status
of the proof using M-x status-proof-theory, following error
Error: Received signal number 1000 (function call stack overflow).
I am running pvs on an ultra-sparc with 128 MB of RAM.
Can I get rid of this error?
Or, is there any other way which can show whether my proof
is really complete or some tccs are still to be proved ?
Niranjan S. Pendharkar.