[m-rev.] diff: partially disable deep_copy_exist test on 0.10 branch

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: release

tests/hard_coded/Mmakefile:
	Put `--trace minimum' in MCFLAGS for the deep_copy_exist test case.
	The intent here is to disable the testing of this test case
	with `--trace deep', since in debug grades the test is currently 
	failing with `var_locn__clobber_lval_in_var_state_map: empty state'.

	This change is for the 0.10.* release branch only; the bug is fixed on
	the main branch.  (It's probably not worth the effort of porting the
	fix to the 0.10.* branch.)

Workspace: /mnt/venus/home/venus/fjh/ws-venus/mercury
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.111.2.2
diff -u -d -r1.111.2.2 Mmakefile
--- tests/hard_coded/Mmakefile	2001/04/29 18:26:50	1.111.2.2
+++ tests/hard_coded/Mmakefile	2001/05/07 02:14:42
@@ -190,6 +190,12 @@
 MCFLAGS-user_defined_equality	= --infer-all
 MCFLAGS-parse		=	--trace deep
 
+# XXX the deep_copy_exist test fails on the 0.10 branch
+# if compiled in debug grades.  This is fixed on the main branch.
+# It's probably not worth the effort to port the fix to the 0.10 branch,
+# so for the 0.10 branch, we just don't use --trace deep.
+MCFLAGS-deep_copy_exist	=	--trace minimum
+
 # In grade `none' with options `-O1 --opt-space' on kryten
 # (a sparc-sun-solaris2.5 system), mode_choice needs to be linked
 # with `--no-strip', otherwise it gets a seg fault. 

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