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

Attachment: UT.doc
Description: MS-Word document

Attachment: UT.sml
Description: Binary data

Attachment: UT.pdf
Description: Adobe PDF document

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to