[mercury-users] qcheck custom non-DU generators?

[doug.auclair at logicaltypes.com]

Dear all,

Solved the problem.  Ignore my last post requesting how to
create customer RNGs for non DU types.

Sincerely,
Doug Auclair

For those who are interested: what I did was create a DU
with the two branches one indicating sameness, the other,
differentness and then the test was actually written in
CPS where it generated the DU then continued onto the
actual test itself.  The end.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------