[m-rev.] for review: Added trust command to mdb

[Ralph Becket]

Ian MacLarty, Tuesday,  8 June 2004:
> For review by Zoltan
> 
> Estimated hours taken: 35
> Branches: main
> 
> Added a `trust' command to mdb which tells the declarative debugger to assume
> all procedures in a given module are correct.

Hi Ian,

just a couple of easy questions about the new functionality:

(1) is there an `untrust' command or something similar?
(2) are trust settings recorded when you save the current mdb options to
a file?

Ta,
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------