[m-rev.] for review: coverage testing

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Sep 20 11:56:57 AEST 2006


On Mon, 18 Sep 2006, Ian MacLarty wrote:

> On Mon, Sep 18, 2006 at 02:55:25PM +1000, Zoltan Somogyi wrote:

>> Implement coverage testing. There is still at least one bug that prevents us
>> from succcessfully coverage testing the compiler, but the system ought to work
>> for smaller programs, and people have been asking for this capability.
>>
> ...
>>
>> slice/mtc.m:
>
> That should be "mct.m".
>
>> 	Add this module, the code for the Mercury coverage test tool.

I would prefer a different name for this, mcov for example, mct is
too similar to mtc.

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



More information about the reviews mailing list