[m-rev.] for review: improve test framework

[Zoltan Somogyi]

On 15-Aug-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 	mmake MC="mymc ceres2" ML="myml ceres2" check_local

That would work most of the time. But it doesn't override everything; e.g.
it uses the installed c2init and mkinit, not the ones in that workspace.
For some of the work I do, this matters.

> > Two different options in bootcheck, one saying "execute the tests in this
> > directory only" and one saying "execute the tests in this directory and its
> > subdirectories" should be easy enough to arrange,
> 
> That would be fine with me.

Actually, after Simon's suggestion I want three more options:

	execute the *failed* tests in this directory only,
	execute the *failed* tests in this directory and its subdirectories
	execute the *failed* tests in all directories

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