[m-rev.] diff: fix untrace_

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu Mar 31 10:44:33 AEST 2005


tests/debugger/declarative/untraced_subgoal.exp:
	Update the expected output to reflect the redo of s/1. The previous
	version of this file was incorrect.

Zoltan.

cvs diff: Diffing .
Index: untraced_subgoal.exp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/declarative/untraced_subgoal.exp,v
retrieving revision 1.5
diff -u -b -r1.5 untraced_subgoal.exp
--- untraced_subgoal.exp	6 Jan 2005 03:20:13 -0000	1.5
+++ untraced_subgoal.exp	30 Mar 2005 16:21:59 -0000
@@ -64,7 +64,7 @@
 mdb> continue
       30:      3  2 REDO pred untraced_subgoal.p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
 mdb> finish
-      31:      3  2 FAIL pred untraced_subgoal.p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
+      36:      3  2 FAIL pred untraced_subgoal.p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
 mdb> dd
 Call p(2, _)
 Solutions:
@@ -73,6 +73,6 @@
 Found partially uncovered atom:
 p(2, _)
 Is this a bug? yes
-      31:      3  2 FAIL pred untraced_subgoal.p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
+      36:      3  2 FAIL pred untraced_subgoal.p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
 mdb> continue
 no
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list