[m-rev.] for review: gather execution counts

[Ian MacLarty]

>
> On 11 Aug 2004, at 14:07, Zoltan Somogyi wrote:
>
>> For review by Ian.
>>
>> Zoltan.
>>
>> Add a mechanism for collecting information about how many times each  
>> event
>> is executed. Later changes will exploit this information, for  
>> coverage testing
>> and for better search strategies in the declarative debugger.
>>
> This looks very useful.
> Though perhaps the port names for body events should also be printed  
> to distinguish the stats for NEGE, NEGS and NEGF events (which have  
> the same goalpath).

Sorry, meant to say internal events - not body events.
Ian.

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

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