[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] An error when pvs generates tcc's
It looks like you found a bug - could you send me your specs so I can
Thiago Mendon├ža Ferreira Ramos wrote:
> 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?