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

[Ronny Wichers Schreur <ronny@xxxxxxxx>]

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