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

[Simon Taylor]

On 15-Aug-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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.

I use a shell function which sets WORKSPACE, MERCURY_COMPILER and
MMAKE_DIR. When WORKSPACE is set, tests/Mmake.common includes
$WORKSPACE/Mmake.workspace, which sets MCFLAGS, MLFLAGS, etc. so
that lmc and lml are unnecessary. It will also use the correct
versions of c2init and mkinit.

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

In the change I'm working on, you would invoke
`mmake ERROR_FILE=DIR/runtests.errs runtests_local' in the
directory containing the tests you want to run, where
DIR is the directory in which the previous run was started.

> 	execute the *failed* tests in this directory and its subdirectories

mmake ERROR_FILE=DIR/runtests.errs runtests

> 	execute the *failed* tests in all directories

Invoke `mmake ERROR_FILE=DIR/runtests.errs runtests' from the
top-level directory.

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