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

Ian MacLarty maclarty at cs.mu.OZ.AU
Thu Aug 12 12:54:36 AEST 2004

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


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

More information about the reviews mailing list