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

PROGRAM-ERROR using inst? (more)



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