[m-dev.] fix up the univ test cases

[Fergus Henderson]

On 13-Jan-2001, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> Is there a separate release branch for the tests?

Yes.  (BTW, `cvs status -v' is useful for answering these
kinds of questions.)

Please use "diff:" or "for review:" at the start of the subject line.

> Index: debugger/mdb_command_test.inp
> ===================================================================
> RCS file: /home/staff/zs/imp/tests/debugger/mdb_command_test.inp,v
> retrieving revision 1.12
> diff -u -r1.12 mdb_command_test.inp
> --- debugger/mdb_command_test.inp	2000/10/27 08:38:55	1.12
> +++ debugger/mdb_command_test.inp	2001/01/12 06:57:03
> @@ -40,6 +40,8 @@
>  nondet_stack         xyzzy xyzzy xyzzy xyzzy xyzzy
>  stack_regs           xyzzy xyzzy xyzzy xyzzy xyzzy
>  all_regs             xyzzy xyzzy xyzzy xyzzy xyzzy
> +table_io             xyzzy xyzzy xyzzy xyzzy xyzzy
> +label_stats          xyzzy xyzzy xyzzy xyzzy xyzzy
>  source               xyzzy xyzzy xyzzy xyzzy xyzzy
>  save                 xyzzy xyzzy xyzzy xyzzy xyzzy
>  quit                 xyzzy xyzzy xyzzy xyzzy xyzzy

That looks like it doesn't belong in this change.

Apart from that, these changes look fine.

P.S.
I think the simplest way to commit these on both the release branch
and the main branch is to first commit them on the release branch

	cvs update -rversion-0_10_x
	cvs diff	# double-check that the diff looks OK
	cvs commit

and then merge the changes into the main branch

	cvs update -A -jversion-0_10_x:yesterday -jversion-0_10_x
	cvs diff	# double-check that the diff looks OK
	cvs commit

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------