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

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



Hi Thiago,

It looks like you found a bug - could you send me your specs so I can
analyze it?

Thanks,
Sam Owre

Thiago Mendon├ža Ferreira Ramos wrote:

> 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?