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.

Jon Lockhart
PhD Candidate
EE Systems
University of Cincinnati

Attachment: simpleError.doc
Description: MS-Word document

Proofpower mailing list

Reply via email to