[m-rev.] trivial diff: fix failure of debugger/declarative/backtrack
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Oct 8 17:29:54 AEST 2007
Estimated hours taken: 0.1
Branches: main
Fix the failure of debugger/declarative/backtrack.
tests/debugger/declarative/backtrack.exp:
tests/debugger/declarative/backtrack.exp2:
Conform to the change in r1.3 of backtrack.m.
Julien.
Index: backtrack.exp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/declarative/backtrack.exp,v
retrieving revision 1.12
diff -u -r1.12 backtrack.exp
--- backtrack.exp 8 May 2006 08:17:32 -0000 1.12
+++ backtrack.exp 8 Oct 2007 07:26:41 -0000
@@ -1,13 +1,13 @@
- 1: 1 1 CALL pred backtrack.main/2-0 (det) backtrack.m:9
+ 1: 1 1 CALL pred backtrack.main/2-0 (det) backtrack.m:13
mdb> echo on
Command echo enabled.
mdb> register --quiet
mdb> break p
0: + stop interface pred backtrack.p/2-0 (det)
mdb> continue
- 2: 2 2 CALL pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
+ 2: 2 2 CALL pred backtrack.p/2-0 (det) backtrack.m:20 (backtrack.m:14)
mdb> finish
- 23: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
+ 23: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:20 (backtrack.m:14)
mdb> dd -d 3 -n 7
p(1, no)
Valid? no
@@ -32,6 +32,6 @@
Found incorrect contour:
p(1, no)
Is this a bug? yes
- 23: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
+ 23: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:20 (backtrack.m:14)
mdb> continue
no
Index: backtrack.exp2
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/declarative/backtrack.exp2,v
retrieving revision 1.4
diff -u -r1.4 backtrack.exp2
--- backtrack.exp2 8 May 2006 08:17:32 -0000 1.4
+++ backtrack.exp2 8 Oct 2007 07:27:54 -0000
@@ -1,13 +1,13 @@
- 1: 1 1 CALL pred backtrack.main/2-0 (det) backtrack.m:9
+ 1: 1 1 CALL pred backtrack.main/2-0 (det) backtrack.m:13
mdb> echo on
Command echo enabled.
mdb> register --quiet
mdb> break p
0: + stop interface pred backtrack.p/2-0 (det)
mdb> continue
- 2: 2 2 CALL pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
+ 2: 2 2 CALL pred backtrack.p/2-0 (det) backtrack.m:20 (backtrack.m:14)
mdb> finish
- 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
+ 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:20 (backtrack.m:14)
mdb> dd -d 3 -n 7
p(1, no)
Valid? no
@@ -32,6 +32,6 @@
Found incorrect contour:
p(1, no)
Is this a bug? yes
- 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
+ 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:20 (backtrack.m:14)
mdb> continue
no
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list