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

Re: [PVS-Help] PVS 3.2 typecheck error



Hi Nikhil,

This sounds like a bug to me - could you send me your specs?

Thanks,
Sam