[m-rev.] for review: fix two failing decldebug tests

[Julien Fischer]

On Tue, 11 Jan 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 0.5
> Branches: main
>
> Fix two failing test cases in the debug grades.  New expected output files
Are the failing test in the .debug grades or the .decldebug grades?

> are needed because there are extra atoms in the contours in the decldebug grade
> and the contours are now printed.  I created these earlier, but must have
> not cvs added them.
>
> tests/debugger/declarative/inadmissible.exp2
> 	Extra atom in buggy contour.
>
> tests/debugger/declarative/find_origin.exp3
> 	This is the same as the old exp2 file before the contours were
> 	printed.  The old exp2 file was replaced with a slightly different
> 	version of the exp file which had different atoms in the contour in
> 	the debug grade.  This expected output is for the decldebug grade,
> 	where sub-term dependency tracking produces different (better) results.
>

That's fine.

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