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

Re: pvs error



Magesh,

Any time you see something like

 Error: No methods applicable for generic function
 #<STANDARD-GENERIC-FUNCTION FIND-SUPERTYPE> with args (State) of classes
 (ACTUAL)
   [condition type: PROGRAM-ERROR]

 Restart actions (select using :continue):
  0: Try calling it again
 [1c] PVS(52):

(i.e., a lisp error) it is a bug in PVS.  Make sure you are running the
lastest version of PVS (compare what you see in the Welcome buffer with
the current version number, which is 2.417).  If you don't have the
current version, then upgrade.  If the bug is present in the current
version, create a dump file (M-x pvs-dump-files) and explain exactly how
to recreate the problem, then mail the dump and explanation to
pvs-bugs@csl.sri.com

John
-------