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

Ralph Becket rafe at cs.mu.OZ.AU
Wed Jun 9 12:19:40 AEST 2004

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?

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

More information about the reviews mailing list