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

Re: [PVS-Help] Showing all type predicates for a skolem constant



Hell Cesar,

Thanks for your help. You write:

> There is a strategy in PVS called all-typepreds that is supposed to do
> that. However, in your example, we get everything but N >= 0:

So is this a bug?


Cheers,

Ronny Wichers Schreur