[mercury-users] qcheck2 updated (honest!)

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Wed Jun 6 23:58:37 AEST 2007

Dear all,

Back in March I announced an updated version of qcheck2 was
available at http://www.logicaltypes.com/share/index.html. But
I failed to upload the new archive.

Shame on me!

The new archive /is/ now uploaded and includes the changes
mentioned on my front page, summarized:

* the reporting mechanism uses polymorphic types for function/
  predicate descriptions, so qcheck2 is now, properly, an
  independent library again and the internal dependency on qcpt
  to generate func/pred descriptions for the system to run is
  now externalized (liberated) to the tester.
* qcheck2 now uses the RNG posed on this forum that I have codified
  into my utils library (also available on the same page).

Happy qchecking!

Doug Auclair

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list