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

[Fergus Henderson]

On 07-May-2001, Fergus Henderson <fjh at cs.mu.oz.au> wrote:
> 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.)

Hmm, that didn't quite work.  This should solve the problem.

Estimated hours taken: 0.25
Branches: release

tests/hard_coded/Mmakefile:
	Disable the deep_copy_exist test case (on the 0.10.* branch only).
	My previous attempt to work around the failure with `--trace minimum'
	was not sufficient.

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.3
diff -u -d -r1.111.2.3 Mmakefile
--- tests/hard_coded/Mmakefile	2001/05/07 02:23:36	1.111.2.3
+++ tests/hard_coded/Mmakefile	2001/05/09 06:49:53
@@ -30,7 +30,6 @@
 	cycles2 \
 	deep_copy \
 	deep_copy_bug \
-	deep_copy_exist \
 	det_in_semidet_cntxt \
 	division_test \
 	dupcall_types_bug \
@@ -163,7 +162,14 @@
 # we do not pass the following tests
 #	var_not_found -- mode error in automatically generated unification
 #		predicate.  This test uses partially instantiated modes,
-#		which are not yet fully support.
+#		which are not yet fully supported.
+#	deep_copy_exist
+#		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 enable this
+#		test case.
+
 
 #-----------------------------------------------------------------------------#
 
@@ -189,12 +195,6 @@
 MCFLAGS-existential_float = --infer-all
 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
-- 
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
--------------------------------------------------------------------------