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

No Subject

Paul -

In order to get more information in that case we'll need to make some
modifications to the code.  I've logged this as a suggestion and we'll
incorporate the changes into PVS 2.3.  If this is urgent is it possible
to generate an example for us to look at?


Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com