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

Re: [PVS-Help] kind request for help

Hi Andrei,

This looks like it's a bug - could you please send me your specs so I can
recreate it?

Sam Owre

<popescu2@xxxxxxxx> wrote:

> When i try to typecheck my specification, I get the message: 
> Break: make-subtype-tcc-decl freevars
> I have no idea what this means and I cannot find it documented anywhere.
> Thanks in advance, 
>   Andrei Popescu