[m-rev.] for review: remove a slow declarative debugger consistency check.

[Julien Fischer]

On Thu, 14 Apr 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 0.1
> Branches: main and 0.12
>
> Remove the search space consistency check from decide_analyser_response/4.
> This check was slowing the declarative debugger down considerably.  The
> debugger/declarative/binary_search test now takes about a second or two,
> instead of around 5-7 seconds previously (these are estimates).
>
> Also the checks have not failed for several months now.
>
It would be preferable to just comment it out and add a comment saying why
it has been commented out.

Julien.

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