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

Re: [PVS-Help] PVS Hangs



Nikhil Kikkeri writes:
   From: Nikhil Kikkeri <nikhil.kikkeri@gmail.com>
   Date: Thu, 02 Mar 2006 19:10:56 -0600
   Subject: [PVS-Help] PVS Hangs
   
   Hi--
   
   I am proving a lemma and I am close to completing the proof and when I 
   use "assert" in one of the steps , nothing seems to happen. It is as if 
   PVS hangs. 

The decision procedures sometimes hang. Try a (simplify :flush?
T) before the assert to flush the database. 

Bye,

Hendrik