I am not sure if this is a bug in xpp or if it is a user (me!) error, but I am trying to use a unit test framework named QCheck within xpp and it fails. I have attached the doc file and the sml and pdf file produced via docsml. In the files, I have shown where the error occurs. Since it works ok in poly, then I expected it to also work within xpp so I am asking if anyone has tried this; or sees why it may not work as I expect.
-Thanks, Dave Topham
Description: MS-Word document
Description: Binary data
Description: Adobe PDF document
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com