[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] PVS Hangs
Nikhil Kikkeri writes:
From: Nikhil Kikkeri <firstname.lastname@example.org>
Date: Thu, 02 Mar 2006 19:10:56 -0600
Subject: [PVS-Help] PVS Hangs
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
The decision procedures sometimes hang. Try a (simplify :flush?
T) before the assert to flush the database.