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
UT.doc
Description: MS-Word document
UT.sml
Description: Binary data
UT.pdf
Description: Adobe PDF document
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
