[m-rev.] For post-commit review: Coverage profiler no-longer instruments deep profiler instrumentation goals.

Zoltan Somogyi zs at csse.unimelb.edu.au
Wed Sep 17 13:10:24 AEST 2008

On 16-Sep-2008, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> The problem is that the goal paths included with the call sites and
> coverage points contain this number, which cannot be calculated when the
> program is being traversed by the deep profiling tools (for example, the
> coverage propagation code), since they don't have access to type
> information.

They don't need access to type information. We could modify the bytecode
representation to contain this number next to the switch variable.

However, don't worry about this for now.

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