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

*To*: pvs-help@csl.sri.com*Subject*: PROGRAM-ERROR using inst? (more)*From*: Darryl Scott Dieckman <ddieckma@ececs.uc.edu>*Date*: Mon, 16 Feb 1998 15:08:26 -0500 (EST)

For some reason, my dump file does not include the partial proof that I was working on. Maybe it is supposed to do that, I dont really know for sure. Anyway, here is partial proof that I was using ("" (SIMPLIFY) (EXPAND "getTime") (EXPAND "send") (LEMMA "executePacket_def") (INST?) (REPLACE -1 1) (HIDE -1) (LIFT-IF) (EXPAND "secure") (EXPAND "setTimePkt") (EXPAND "setTime") (EXPAND "send") (LEMMA "executePacket_def") (INST?) (REPLACE -1 1) (HIDE -1) (LIFT-IF) (EXPAND "secure") (EXPAND "setTimePkt") (EXPAND "setTime") (EXPAND "send") (LEMMA "executePacket_def") (POSTPONE)) If I do an (inst?) after this, I get a PROGRAM-ERROR. -darryl dieckman

- Prev by Date:
**PROGRAM-ERROR using inst?** - Next by Date:
**PVS Installation question** - Prev by thread:
**RE: PVS Installation question** - Next by thread:
**PROGRAM-ERROR using inst?** - Index(es):