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

[PVS-Help] Re: An error when pvs generates tcc's





De: Thiago Mendonça Ferreira Ramos <thiagomendoncaferreiraramos@yahoo.com.br>
Para: "pvs-help@csl.sri.com" <pvs-help@csl.sri.com>
Cc: "ayala@unb.br" <ayala@unb.br>
Enviadas: Terça-feira, 25 de Outubro de 2011 15:20
Assunto: An error when pvs generates tcc's

Hi,

I am trying generate tcc's in pvs. However, it appears an error message:

"Error: the assertion (and resolutions (null (cdr resolutions))) failed."

Unfortunatily, I do not know how solve this problem.

Could you help me, please?