[m-rev.] diff: fix failing debugger test cases
Julien Fischer
juliensf at cs.mu.OZ.AU
Mon May 8 11:37:06 AEST 2006
Estimated hours taken: 1
Branches: main, release
Fix some failing debugger test cases. These were failing because the
expected outputs did not conform to the changes in r1.155 of
compiler/code_gen.m (which shifted the context of interface events from
the context of the body goal to the context of the first clause).
debugger/interactive.exp:
debugger/declarative/backtrack.exp2:
debugger/declarative/ite_2.exp2:
debugger/declarative/neg_conj.exp2:
debugger/declarative/negation.exp2:
Update expected outputs for these test cases.
Julien.
(The following diff is against the 0.13 branch.)
Index: debugger/interactive.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/interactive.exp,v
retrieving revision 1.13
diff -u -r1.13 interactive.exp
--- debugger/interactive.exp 15 Sep 2005 05:36:27 -0000 1.13
+++ debugger/interactive.exp 7 May 2006 23:44:11 -0000
@@ -1,4 +1,4 @@
- 1: 1 1 CALL pred interactive.main/2-0 (cc_multi) interactive.m:21
+ 1: 1 1 CALL pred interactive.main/2-0 (cc_multi) interactive.m:18
mdb> echo on
Command echo enabled.
mdb> query interactive list
Index: debugger/declarative/backtrack.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/backtrack.exp2,v
retrieving revision 1.3
diff -u -r1.3 backtrack.exp2
--- debugger/declarative/backtrack.exp2 20 May 2005 05:40:20 -0000 1.3
+++ debugger/declarative/backtrack.exp2 8 May 2006 01:25:37 -0000
@@ -5,9 +5,9 @@
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:24 (backtrack.m:10)
+ 2: 2 2 CALL pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
mdb> finish
- 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:24 (backtrack.m:10)
+ 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
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:24 (backtrack.m:10)
+ 29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:16 (backtrack.m:10)
mdb> continue
no
Index: debugger/declarative/ite_2.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/ite_2.exp2,v
retrieving revision 1.5
diff -u -r1.5 ite_2.exp2
--- debugger/declarative/ite_2.exp2 20 May 2005 05:40:27 -0000 1.5
+++ debugger/declarative/ite_2.exp2 8 May 2006 01:28:23 -0000
@@ -11,9 +11,9 @@
0: + stop interface pred ite_2.ite/3-1 (multi)
1: + stop interface pred ite_2.ite/3-0 (det)
mdb> continue
- 2: 2 2 CALL pred ite_2.ite/3-0 (det) ite_2.m:27 (ite_2.m:9)
+ 2: 2 2 CALL pred ite_2.ite/3-0 (det) ite_2.m:21 (ite_2.m:9)
mdb> finish
- 13: 2 2 EXIT pred ite_2.ite/3-0 (det) ite_2.m:27 (ite_2.m:9)
+ 13: 2 2 EXIT pred ite_2.ite/3-0 (det) ite_2.m:21 (ite_2.m:9)
mdb> dd -d 3 -n 7
ite(a, 1, 1)
Valid? no
@@ -27,11 +27,11 @@
c(1, 1)
ite(a, 1, 1)
Is this a bug? yes
- 13: 2 2 EXIT pred ite_2.ite/3-0 (det) ite_2.m:27 (ite_2.m:9)
+ 13: 2 2 EXIT pred ite_2.ite/3-0 (det) ite_2.m:21 (ite_2.m:9)
mdb> continue
- 14: 7 2 CALL pred ite_2.ite/3-1 (multi) ite_2.m:27 (ite_2.m:10)
+ 14: 7 2 CALL pred ite_2.ite/3-1 (multi) ite_2.m:21 (ite_2.m:10)
mdb> finish
- 35: 7 2 EXIT pred ite_2.ite/3-1 (multi) ite_2.m:27 (ite_2.m:10)
+ 35: 7 2 EXIT pred ite_2.ite/3-1 (multi) ite_2.m:21 (ite_2.m:10)
mdb> dd -d 3 -n 7
ite(b, 1, 1)
Valid? no
@@ -50,7 +50,7 @@
c(1, 1)
ite(b, 1, 1)
Is this a bug? yes
- 35: 7 2 EXIT pred ite_2.ite/3-1 (multi) ite_2.m:27 (ite_2.m:10)
+ 35: 7 2 EXIT pred ite_2.ite/3-1 (multi) ite_2.m:21 (ite_2.m:10)
mdb> continue
ite(a, 1, 1).
ite(b, 1, 1).
Index: debugger/declarative/neg_conj.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/neg_conj.exp2,v
retrieving revision 1.5
diff -u -r1.5 neg_conj.exp2
--- debugger/declarative/neg_conj.exp2 20 May 2005 05:40:27 -0000 1.5
+++ debugger/declarative/neg_conj.exp2 8 May 2006 01:29:57 -0000
@@ -1,13 +1,13 @@
- 1: 1 1 CALL pred neg_conj.main/2-0 (det) neg_conj.m:11
+ 1: 1 1 CALL pred neg_conj.main/2-0 (det) neg_conj.m:8
mdb> echo on
Command echo enabled.
mdb> register --quiet
mdb> break p
0: + stop interface pred neg_conj.p/1-0 (semidet)
mdb> continue
- 3: 2 2 CALL pred neg_conj.p/1-0 (semidet) neg_conj.m:19 (neg_conj.m:9)
+ 3: 2 2 CALL pred neg_conj.p/1-0 (semidet) neg_conj.m:18 (neg_conj.m:9)
mdb> finish
- 22: 2 2 EXIT pred neg_conj.p/1-0 (semidet) neg_conj.m:19 (neg_conj.m:9)
+ 22: 2 2 EXIT pred neg_conj.p/1-0 (semidet) neg_conj.m:18 (neg_conj.m:9)
mdb> dd -d 3 -n 7
p(0)
Valid? no
@@ -27,6 +27,6 @@
Found incorrect contour:
p(0)
Is this a bug? yes
- 22: 2 2 EXIT pred neg_conj.p/1-0 (semidet) neg_conj.m:19 (neg_conj.m:9)
+ 22: 2 2 EXIT pred neg_conj.p/1-0 (semidet) neg_conj.m:18 (neg_conj.m:9)
mdb> continue
yes.
Index: debugger/declarative/negation.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/negation.exp2,v
retrieving revision 1.4
diff -u -r1.4 negation.exp2
--- debugger/declarative/negation.exp2 20 May 2005 05:40:28 -0000 1.4
+++ debugger/declarative/negation.exp2 7 May 2006 23:48:50 -0000
@@ -5,9 +5,9 @@
mdb> break p
0: + stop interface pred negation.p/2-0 (det)
mdb> continue
- 2: 2 2 CALL pred negation.p/2-0 (det) negation.m:29 (negation.m:14)
+ 2: 2 2 CALL pred negation.p/2-0 (det) negation.m:21 (negation.m:14)
mdb> finish
- 39: 2 2 EXIT pred negation.p/2-0 (det) negation.m:29 (negation.m:14)
+ 39: 2 2 EXIT pred negation.p/2-0 (det) negation.m:21 (negation.m:14)
mdb> dd -d 3 -n 7
p(1, 42)
Valid? no
@@ -27,6 +27,6 @@
Found incorrect contour:
p(1, 42)
Is this a bug? yes
- 39: 2 2 EXIT pred negation.p/2-0 (det) negation.m:29 (negation.m:14)
+ 39: 2 2 EXIT pred negation.p/2-0 (det) negation.m:21 (negation.m:14)
mdb> continue
42
--------------------------------------------------------------------------
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