[m-dev.] Deep profiling assertion

Peter Wang novalazy at gmail.com
Tue Apr 17 17:28:39 AEST 2012


Hi,

These look inverted but I don't know the code:

MR_deep_assert(csd, pl, ps, CPIndex >= ps->MR_ps_num_coverage_points);

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



More information about the developers mailing list