[mercury-users] Testing coverage for Mercury?

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Aug 24 21:37:08 AEST 2006


On Thu, 24 Aug 2006, Nicholas Nethercote wrote:

> Hi,
>
> Is there a testing coverage tool for Mercury programs?
>

Probably not in a usable state.  I think Zoltan was working on tool
to do coverage testing (based on the trace counts mechanism) over summer
but I'm not sure how far along it was.

Julien.
--------------------------------------------------------------------------
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