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

Re: A question

To: pvs-help@csl.sri.com
Subject: Re: A question
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Mon, 17 May 1999 23:56:22 -0700
Cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Tue, 18 May 1999 12:35:40 +0800." <199905180435.MAA22606@uranus>


The message is from the Lisp garbage collector.  It's a perfectly normal
part of the behavior of PVS, and doesn't in any way affect the soundness
of the proof you're performing.

Dave

---
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

References:
- A question
  - From: Jei-Wen Teng <r6725004@lucky.im.ntu.edu.tw>

Prev by Date: A question
Next by Date: Bogus << TCC
Prev by thread: A question
Next by thread: A question
Index(es):
- Date
- Thread