[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

regarding status-proof-theory

Respected Sir,

	After completion of proof, whenever I try to see the status
	of the proof using M-x status-proof-theory, following error
	message appears:

	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 ? 

with regards,

Niranjan S. Pendharkar.