[m-rev.] For review: Fix failing declarative debugger tests

[Ian MacLarty]

On 29 Nov 2004, at 21:56, Julien Fischer wrote:

>
> On Mon, 29 Nov 2004, Ian MacLarty wrote:
>
>> For review by anyone.
>>
>> Estimated hours taken: 0.5
>> Branches: main
>>
>> Fix three failing declarative debugger tests.
>>
>> failed_cond.exp
>> 	The bug is now reported as an inadmissible call.
>>
> That should be tests/debugger/declarative/failed_cond.exp: there
> and for the others below.
My bad.

>> mismatch_on_call.inp2
>> 	This input was missing (I forgot to `cvs add' it).
>>
>> trust.exp
>> trust.inp
>> 	Trust the standard library before `dd' command issued.
>>
> Isn't it trusted by default anyway?
>
Yes, but the test untrusts it and should trust it again to exercise the  
`trust std lib' comamnd, and this should be done before the `dd'  
command in the test so questions about predicates in the standard  
library aren't asked in debug grades.

> Looks good otherwise.
>
> 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
> ----------------------------------------------------------------------- 
> ---
>

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