Dear All, I am throwing an odd exception recently when working on a small example specification. In checking the manuals and Z books there seems to be no reason that this exception is being thrown. It is even used in the vending machine example in the Z Tutorial book. I have attached the exact piece that is giving me the exception and the output from ProofPower.
If anyone has any ideas on what might be causing it, please let me know. Regards, Jon Lockhart PhD Candidate EE Systems University of Cincinnati
Description: MS-Word document
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com