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

pvs error

To: pvs-help@csl.sri.com
Subject: pvs error
From: Magesh Narayanan <mnarayan@ececs.uc.edu>
Date: Wed, 1 Apr 1998 11:48:06 -0500 (EST)
Reply-To: Magesh Narayanan <mnarayan@ececs.uc.edu>

Hi,
	I am using pvs 2 for linux. 
the configuration is 
OS: Linux 2.0.33 #5

when i am proving some proofs, in the middle of the proof, i am getting an
error 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): 


Please help..
Thanks
Magesh

--------------------------------------------------------------------------
Graduate Student in Dept. of Computer Engr., Univ. Cincinnati.
--------------------------------------------------------------------------
Address    : 2930 Scioto Street, #511, Cincinnati, OH 45219. USA
Phone      : Off:  513-556 0904
             Res:  513-556 7447
E-mail     : mnarayan@ececs.uc.edu
URL        : http://www.ececs.uc.edu/~mnarayan
-------------------------------------------------------------------------

Prev by Date: TYPE functions
Next by Date: typecheck error
Prev by thread: Re: pvs error
Next by thread: pvs error
Index(es):
- Date
- Thread