[m-dev.] diff: modify mdb's `dd' command
Mark Anthony BROWN
dougl at cs.mu.OZ.AU
Fri Aug 18 20:56:30 AEST 2000
Estimated hours taken: 2.5
Alter the `dd' command in mdb so that it does not assume that the answer
to the first question asked is `no'. The question is somewhat redundant,
since the only sensible answer is `no', but I find that it gives useful
feedback about the symptom that is being diagnosed, and it makes clearer
why the following questions are asked.
browser/declarative_analyser.m:
Start analysis with a list of suspects which contains only the
topmost node of the debugging tree.
browser/declarative_debugger.m:
If the answer to the first question is something other than `no',
then end the diagnosis and report that no bugs were found.
tests/debugger/declarative/*.{inp,exp,exp2}:
Update test cases to handle the extra question.
Index: browser/declarative_analyser.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_analyser.m,v
retrieving revision 1.4
diff -u -r1.4 declarative_analyser.m
--- browser/declarative_analyser.m 2000/05/08 18:16:22 1.4
+++ browser/declarative_analyser.m 2000/08/18 05:50:54
@@ -111,8 +111,10 @@
analyser_state_init(analyser(no, [], [])).
start_analysis(Store, Tree, Response, Analyser0, Analyser) :-
- create_suspect(Store, Tree, Suspect),
- make_new_prime_suspect(Store, Suspect, Response, Analyser0, Analyser).
+ make_suspects(Store, [Tree], Suspects, Queries),
+ get_all_prime_suspects(Analyser0, OldPrimes),
+ Analyser = analyser(no, Suspects, OldPrimes),
+ Response = oracle_queries(Queries).
continue_analysis(Store, Answers, Response, Analyser0, Analyser) :-
(
@@ -151,15 +153,7 @@
:- mode make_new_prime_suspect(in, in, out, in, out) is det.
make_new_prime_suspect(Store, Suspect, Response, Analyser0, Analyser) :-
- Analyser0 = analyser(MaybeOldPrime, _, OldPrimes0),
- (
- MaybeOldPrime = yes(OldPrime0)
- ->
- prime_suspect_get_suspect(OldPrime0, OldPrime),
- OldPrimes = [OldPrime | OldPrimes0]
- ;
- OldPrimes = OldPrimes0
- ),
+ get_all_prime_suspects(Analyser0, OldPrimes),
suspect_get_edt_node(Suspect, Tree),
(
edt_children(Store, Tree, Children)
@@ -184,6 +178,22 @@
Response = require_explicit(Tree)
),
Analyser = analyser(MaybePrime, Suspects, OldPrimes).
+
+ % Make a list of previous prime suspects, and include the current
+ % one if it exists.
+ %
+:- pred get_all_prime_suspects(analyser_state(T), list(suspect(T))).
+:- mode get_all_prime_suspects(in, out) is det.
+
+get_all_prime_suspects(analyser(MaybePrime, _, OldPrimes0), OldPrimes) :-
+ (
+ MaybePrime = yes(Prime)
+ ->
+ prime_suspect_get_suspect(Prime, Suspect),
+ OldPrimes = [Suspect | OldPrimes0]
+ ;
+ OldPrimes = OldPrimes0
+ ).
:- pred make_suspects(S, list(T), list(suspect(T)), list(decl_question))
<= mercury_edt(S, T).
Index: browser/declarative_debugger.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_debugger.m,v
retrieving revision 1.17
diff -u -r1.17 declarative_debugger.m
--- browser/declarative_debugger.m 2000/08/10 05:50:55 1.17
+++ browser/declarative_debugger.m 2000/08/18 05:55:43
@@ -209,7 +209,7 @@
:- mode handle_analyser_response(in, in, out, in, out, di, uo) is det.
handle_analyser_response(_, no_suspects, no_bug_found, D, D) -->
- [].
+ io__write_string("No bug found.\n").
handle_analyser_response(_, bug_found(Bug), Response, Diagnoser0,
Diagnoser) -->
Index: tests/debugger/declarative/aadebug.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/aadebug.exp,v
retrieving revision 1.5
diff -u -r1.5 aadebug.exp
--- tests/debugger/declarative/aadebug.exp 2000/05/08 18:16:50 1.5
+++ tests/debugger/declarative/aadebug.exp 2000/08/18 07:05:55
@@ -9,6 +9,8 @@
mdb> finish
15: 2 2 EXIT pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+p('a', 30)
+Valid? no
q('a', 'a')
Valid? yes
r('a', 10)
@@ -24,6 +26,8 @@
mdb> finish
20: 2 2 EXIT pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+p('a', 31)
+Valid? no
Found incorrect contour:
p('a', 31)
Is this a bug? yes
@@ -33,6 +37,8 @@
mdb> finish
35: 2 2 EXIT pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+p('a', 32)
+Valid? no
q('a', 'b')
Valid? yes
Call r('b', _)
@@ -50,6 +56,12 @@
mdb> finish
41: 2 2 FAIL pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+Call p('a', _)
+Solutions:
+ p('a', 30)
+ p('a', 31)
+ p('a', 32)
+Complete? no
Call q('a', _)
Solutions:
q('a', 'a')
Index: tests/debugger/declarative/aadebug.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/aadebug.exp2,v
retrieving revision 1.4
diff -u -r1.4 aadebug.exp2
--- tests/debugger/declarative/aadebug.exp2 2000/05/08 18:16:50 1.4
+++ tests/debugger/declarative/aadebug.exp2 2000/08/18 09:08:51
@@ -9,6 +9,8 @@
mdb> finish
15: 2 2 EXIT pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+p('a', 30)
+Valid? no
q('a', 'a')
Valid? yes
r('a', 10)
@@ -24,6 +26,8 @@
mdb> finish
22: 2 2 EXIT pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+p('a', 31)
+Valid? no
Found incorrect contour:
p('a', 31)
Is this a bug? yes
@@ -33,6 +37,8 @@
mdb> finish
39: 2 2 EXIT pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+p('a', 32)
+Valid? no
q('a', 'b')
Valid? yes
Call r('b', _)
@@ -50,6 +56,12 @@
mdb> finish
47: 2 2 FAIL pred aadebug:p/2-0 (nondet) aadebug.m:24 (aadebug.m:9)
mdb> dd
+Call p('a', _)
+Solutions:
+ p('a', 30)
+ p('a', 31)
+ p('a', 32)
+Complete? no
Call q('a', _)
Solutions:
q('a', 'a')
Index: tests/debugger/declarative/aadebug.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/aadebug.inp,v
retrieving revision 1.4
diff -u -r1.4 aadebug.inp
--- tests/debugger/declarative/aadebug.inp 2000/05/08 18:16:51 1.4
+++ tests/debugger/declarative/aadebug.inp 2000/08/18 06:00:03
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
@@ -11,10 +12,12 @@
continue
finish
dd
+no
yes
continue
finish
dd
+no
yes
yes
yes
@@ -22,6 +25,7 @@
continue
finish
dd
+no
yes
yes
continue
Index: tests/debugger/declarative/app.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/app.exp,v
retrieving revision 1.8
diff -u -r1.8 app.exp
--- tests/debugger/declarative/app.exp 2000/08/17 08:07:05 1.8
+++ tests/debugger/declarative/app.exp 2000/08/18 08:18:15
@@ -15,11 +15,9 @@
mdb> finish -n
16: 5 5 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> dd
-app([5], [6, 7, 8], [5, 6, 7, 8])
-Valid? yes
-Found incorrect contour:
app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
-Is this a bug? yes
+Valid? yes
+No bug found.
16: 5 5 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> continue
17: 4 4 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
@@ -29,6 +27,11 @@
19: 2 2 EXIT pred app:app/3-0 (det) app.m:26 (app.m:13)
mdb> dd
app
+ [1, 2, 3, 4, 5]
+ [6, 7, 8]
+ [1, 2, 3, 4, 5, 6, 7, 8]
+Valid? no
+app
[2, 3, 4, 5]
[6, 7, 8]
[2, 3, 4, 5, 6, 7, 8]
@@ -38,13 +41,12 @@
[6, 7, 8]
[3, 4, 5, 6, 7, 8]
Valid? no
-app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
-Valid? no
Found incorrect contour:
-app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
+app
+ [3, 4, 5]
+ [6, 7, 8]
+ [3, 4, 5, 6, 7, 8]
Is this a bug? yes
- 16: 5 5 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
-mdb> continue
17: 4 4 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> continue
18: 3 3 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
@@ -57,6 +59,11 @@
67: 8 2 EXIT pred app:app/3-0 (det) app.m:26 (app.m:18)
mdb> dd
app
+ .(1, .(2, .(3, ./2)))
+ [6, 7, 8]
+ .(1, .(2, .(3, ./2)))
+Valid? no
+app
.(2, .(3, .(4, ./2)))
[6, 7, 8]
.(2, .(3, .(4, ./2)))
@@ -101,16 +108,14 @@
[6, 7, 8]
[0, 1, 2, 3, 4, 5, 6, 7, 8]
Valid? no
+Found incorrect contour:
app
- [1, 2, 3, 4, 5]
+ [3, 4, 5]
[6, 7, 8]
- [1, 2, 3, 4, 5, 6, 7, 8]
-Valid? no
-Found incorrect contour:
-app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
+ [3, 4, 5, 6, 7, 8]
Is this a bug? yes
- 54: 21 15 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
-mdb> continue
55: 20 14 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
+mdb> continue
+ 56: 19 13 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> quit
mdb: are you sure you want to quit? y
Index: tests/debugger/declarative/app.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/app.exp2,v
retrieving revision 1.8
diff -u -r1.8 app.exp2
--- tests/debugger/declarative/app.exp2 2000/08/17 08:07:05 1.8
+++ tests/debugger/declarative/app.exp2 2000/08/18 09:08:53
@@ -15,11 +15,9 @@
mdb> finish -n
16: 5 5 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> dd
-app([5], [6, 7, 8], [5, 6, 7, 8])
-Valid? yes
-Found incorrect contour:
app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
-Is this a bug? yes
+Valid? yes
+No bug found.
16: 5 5 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> continue
17: 4 4 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
@@ -29,6 +27,11 @@
19: 2 2 EXIT pred app:app/3-0 (det) app.m:26 (app.m:13)
mdb> dd
app
+ [1, 2, 3, 4, 5]
+ [6, 7, 8]
+ [1, 2, 3, 4, 5, 6, 7, 8]
+Valid? no
+app
[2, 3, 4, 5]
[6, 7, 8]
[2, 3, 4, 5, 6, 7, 8]
@@ -38,13 +41,12 @@
[6, 7, 8]
[3, 4, 5, 6, 7, 8]
Valid? no
-app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
-Valid? no
Found incorrect contour:
-app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
+app
+ [3, 4, 5]
+ [6, 7, 8]
+ [3, 4, 5, 6, 7, 8]
Is this a bug? yes
- 16: 5 5 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
-mdb> continue
17: 4 4 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> continue
18: 3 3 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
@@ -57,6 +59,11 @@
71: 10 2 EXIT pred app:app/3-0 (det) app.m:26 (app.m:18)
mdb> dd
app
+ .(1, .(2, .(3, ./2)))
+ [6, 7, 8]
+ .(1, .(2, .(3, ./2)))
+Valid? no
+app
.(2, .(3, .(4, ./2)))
[6, 7, 8]
.(2, .(3, .(4, ./2)))
@@ -101,16 +108,14 @@
[6, 7, 8]
[0, 1, 2, 3, 4, 5, 6, 7, 8]
Valid? no
+Found incorrect contour:
app
- [1, 2, 3, 4, 5]
+ [3, 4, 5]
[6, 7, 8]
- [1, 2, 3, 4, 5, 6, 7, 8]
-Valid? no
-Found incorrect contour:
-app([4, 5], [6, 7, 8], [4, 5, 6, 7, 8])
+ [3, 4, 5, 6, 7, 8]
Is this a bug? yes
- 58: 23 15 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
-mdb> continue
59: 22 14 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
+mdb> continue
+ 60: 21 13 EXIT pred app:app/3-0 (det) app.m:26 (app.m:28)
mdb> quit
mdb: are you sure you want to quit? y
Index: tests/debugger/declarative/app.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/app.inp,v
retrieving revision 1.5
diff -u -r1.5 app.inp
--- tests/debugger/declarative/app.inp 2000/05/08 18:16:52 1.5
+++ tests/debugger/declarative/app.inp 2000/08/18 08:16:59
@@ -8,7 +8,6 @@
finish -n
dd
yes
-yes
continue
continue
continue
@@ -17,7 +16,6 @@
no
no
yes
-continue
continue
continue
continue
Index: tests/debugger/declarative/args.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/args.exp,v
retrieving revision 1.3
diff -u -r1.3 args.exp
--- tests/debugger/declarative/args.exp 2000/05/08 18:16:53 1.3
+++ tests/debugger/declarative/args.exp 2000/08/18 07:09:57
@@ -9,6 +9,8 @@
mdb> finish
7: 2 2 EXIT pred args:p/5-0 (nondet) args.m:24 (args.m:10)
mdb> dd
+p(1, 16, 3, 20, 5)
+Valid? no
my_succeed
Valid? yes
Found incorrect contour:
@@ -20,6 +22,8 @@
mdb> finish
14: 2 2 EXIT pred args:p/5-0 (nondet) args.m:24 (args.m:10)
mdb> dd
+p(1, -2, 3, 2, 5)
+Valid? no
Found incorrect contour:
p(1, -2, 3, 2, 5)
Is this a bug? yes
@@ -29,6 +33,11 @@
mdb> finish
18: 2 2 FAIL pred args:p/5-0 (nondet) args.m:24 (args.m:10)
mdb> dd
+Call p(1, _, 3, _, 5)
+Solutions:
+ p(1, 16, 3, 20, 5)
+ p(1, -2, 3, 2, 5)
+Complete? no
Found partially uncovered atom:
p(1, _, 3, _, 5)
Is this a bug? yes
Index: tests/debugger/declarative/args.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/args.exp2,v
retrieving revision 1.3
diff -u -r1.3 args.exp2
--- tests/debugger/declarative/args.exp2 2000/05/08 18:16:53 1.3
+++ tests/debugger/declarative/args.exp2 2000/08/18 09:08:53
@@ -9,6 +9,8 @@
mdb> finish
9: 2 2 EXIT pred args:p/5-0 (nondet) args.m:24 (args.m:10)
mdb> dd
+p(1, 16, 3, 20, 5)
+Valid? no
my_succeed
Valid? yes
Found incorrect contour:
@@ -20,6 +22,8 @@
mdb> finish
20: 2 2 EXIT pred args:p/5-0 (nondet) args.m:24 (args.m:10)
mdb> dd
+p(1, -2, 3, 2, 5)
+Valid? no
Found incorrect contour:
p(1, -2, 3, 2, 5)
Is this a bug? yes
@@ -29,6 +33,11 @@
mdb> finish
26: 2 2 FAIL pred args:p/5-0 (nondet) args.m:24 (args.m:10)
mdb> dd
+Call p(1, _, 3, _, 5)
+Solutions:
+ p(1, 16, 3, 20, 5)
+ p(1, -2, 3, 2, 5)
+Complete? no
Found partially uncovered atom:
p(1, _, 3, _, 5)
Is this a bug? yes
Index: tests/debugger/declarative/args.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/args.inp,v
retrieving revision 1.2
diff -u -r1.2 args.inp
--- tests/debugger/declarative/args.inp 2000/05/08 18:16:53 1.2
+++ tests/debugger/declarative/args.inp 2000/08/18 06:00:52
@@ -4,15 +4,18 @@
continue
finish
dd
+no
yes
yes
continue
finish
dd
+no
yes
continue
finish
dd
+no
yes
continue
Index: tests/debugger/declarative/backtrack.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/backtrack.exp,v
retrieving revision 1.4
diff -u -r1.4 backtrack.exp
--- tests/debugger/declarative/backtrack.exp 2000/05/08 18:16:54 1.4
+++ tests/debugger/declarative/backtrack.exp 2000/08/18 07:11:23
@@ -9,6 +9,8 @@
mdb> finish
17: 2 2 EXIT pred backtrack:p/2-0 (det) backtrack.m:23 (backtrack.m:9)
mdb> dd
+p(1, no)
+Valid? no
q(1, 1)
Valid? yes
q(1, 2)
Index: tests/debugger/declarative/backtrack.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/backtrack.inp,v
retrieving revision 1.3
diff -u -r1.3 backtrack.inp
--- tests/debugger/declarative/backtrack.inp 2000/05/08 18:16:54 1.3
+++ tests/debugger/declarative/backtrack.inp 2000/08/18 06:01:29
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/big.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/big.exp,v
retrieving revision 1.5
diff -u -r1.5 big.exp
--- tests/debugger/declarative/big.exp 2000/05/08 18:16:54 1.5
+++ tests/debugger/declarative/big.exp 2000/08/18 07:13:37
@@ -9,6 +9,8 @@
mdb> finish
26: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-12)
+Valid? no
a(0)
Valid? yes
b(0, 0)
@@ -31,6 +33,8 @@
mdb> finish
33: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-14)
+Valid? no
c(2, 7)
Valid? yes
f(7, -14)
@@ -44,6 +48,8 @@
mdb> finish
65: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-20)
+Valid? no
b(0, 1)
Valid? yes
c(1, 15)
@@ -67,6 +73,8 @@
mdb> finish
72: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-22)
+Valid? no
e(1, 11)
Valid? yes
f(11, -22)
@@ -80,6 +88,8 @@
mdb> finish
109: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(2)
+Valid? no
f(0, 0)
Valid? yes
g(1, -1)
@@ -104,6 +114,14 @@
mdb> finish
137: 2 2 FAIL pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+Call p(_)
+Solutions:
+ p(-12)
+ p(-14)
+ p(-20)
+ p(-22)
+ p(2)
+Complete? no
c(0, 3)
Valid? yes
d(3, 9)
Index: tests/debugger/declarative/big.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/big.exp2,v
retrieving revision 1.5
diff -u -r1.5 big.exp2
--- tests/debugger/declarative/big.exp2 2000/05/08 18:16:55 1.5
+++ tests/debugger/declarative/big.exp2 2000/08/18 09:08:54
@@ -9,6 +9,8 @@
mdb> finish
28: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-12)
+Valid? no
a(0)
Valid? yes
b(0, 0)
@@ -31,6 +33,8 @@
mdb> finish
35: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-14)
+Valid? no
c(2, 7)
Valid? yes
f(7, -14)
@@ -44,6 +48,8 @@
mdb> finish
71: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-20)
+Valid? no
b(0, 1)
Valid? yes
c(1, 15)
@@ -67,6 +73,8 @@
mdb> finish
78: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(-22)
+Valid? no
e(1, 11)
Valid? yes
f(11, -22)
@@ -80,6 +88,8 @@
mdb> finish
115: 2 2 EXIT pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+p(2)
+Valid? no
f(0, 0)
Valid? yes
g(1, -1)
@@ -104,6 +114,14 @@
mdb> finish
143: 2 2 FAIL pred big:p/1-0 (nondet) big.m:23 (big.m:11)
mdb> dd
+Call p(_)
+Solutions:
+ p(-12)
+ p(-14)
+ p(-20)
+ p(-22)
+ p(2)
+Complete? no
c(0, 3)
Valid? yes
d(3, 9)
Index: tests/debugger/declarative/big.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/big.inp,v
retrieving revision 1.4
diff -u -r1.4 big.inp
--- tests/debugger/declarative/big.inp 2000/05/08 18:16:55 1.4
+++ tests/debugger/declarative/big.inp 2000/08/18 06:01:52
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
@@ -14,12 +15,14 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
yes
@@ -30,12 +33,14 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
yes
@@ -46,6 +51,7 @@
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/comp_gen.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/comp_gen.exp,v
retrieving revision 1.1
diff -u -r1.1 comp_gen.exp
--- tests/debugger/declarative/comp_gen.exp 2000/06/21 19:00:24 1.1
+++ tests/debugger/declarative/comp_gen.exp 2000/08/18 07:41:36
@@ -15,6 +15,9 @@
mdb> continue
8: 3 2 FAIL pred comp_gen:p/2-0 (semidet) comp_gen.m:27 (comp_gen.m:10)
mdb> dd
+Call p(f(1), f(2))
+No solutions.
+Complete? no
Found partially uncovered atom:
p(f(1), f(2))
Is this a bug? yes
Index: tests/debugger/declarative/comp_gen.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/comp_gen.inp,v
retrieving revision 1.1
diff -u -r1.1 comp_gen.inp
--- tests/debugger/declarative/comp_gen.inp 2000/06/21 19:00:25 1.1
+++ tests/debugger/declarative/comp_gen.inp 2000/08/18 07:38:42
@@ -7,6 +7,7 @@
dd
continue
dd
+no
yes
continue
Index: tests/debugger/declarative/filter.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/filter.exp,v
retrieving revision 1.2
diff -u -r1.2 filter.exp
--- tests/debugger/declarative/filter.exp 2000/08/17 08:07:06 1.2
+++ tests/debugger/declarative/filter.exp 2000/08/18 07:14:49
@@ -9,6 +9,8 @@
mdb> finish
12: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 9])
+Valid? no
s1([1, 2])
Valid? yes
s2([9])
@@ -24,6 +26,8 @@
mdb> finish
23: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 7, 8, 9])
+Valid? no
s2([7, 8, 9])
Valid? yes
my_append([1, 2], [7, 8, 9], [1, 2, 7, 8, 9])
@@ -37,6 +41,8 @@
mdb> finish
39: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 3, 9])
+Valid? no
s1([1, 2, 3])
Valid? yes
my_append([1, 2, 3], [9], [1, 2, 3, 9])
@@ -50,6 +56,8 @@
mdb> finish
50: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 3, 7, 8, 9])
+Valid? no
my_append
[1, 2, 3]
[7, 8, 9]
@@ -64,6 +72,13 @@
mdb> finish
60: 2 2 FAIL pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+Call p(_)
+Solutions:
+ p([1, 2, 9])
+ p([1, 2, 7, 8, 9])
+ p([1, 2, 3, 9])
+ p([1, 2, 3, 7, 8, 9])
+Complete? no
Call s2(_)
Solutions:
s2([9])
Index: tests/debugger/declarative/filter.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/filter.exp2,v
retrieving revision 1.2
diff -u -r1.2 filter.exp2
--- tests/debugger/declarative/filter.exp2 2000/08/17 08:07:06 1.2
+++ tests/debugger/declarative/filter.exp2 2000/08/18 09:08:55
@@ -9,6 +9,8 @@
mdb> finish
14: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 9])
+Valid? no
s1([1, 2])
Valid? yes
s2([9])
@@ -24,6 +26,8 @@
mdb> finish
29: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 7, 8, 9])
+Valid? no
s2([7, 8, 9])
Valid? yes
my_append([1, 2], [7, 8, 9], [1, 2, 7, 8, 9])
@@ -37,6 +41,8 @@
mdb> finish
49: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 3, 9])
+Valid? no
s1([1, 2, 3])
Valid? yes
my_append([1, 2, 3], [9], [1, 2, 3, 9])
@@ -50,6 +56,8 @@
mdb> finish
64: 2 2 EXIT pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+p([1, 2, 3, 7, 8, 9])
+Valid? no
my_append
[1, 2, 3]
[7, 8, 9]
@@ -64,6 +72,13 @@
mdb> finish
76: 2 2 FAIL pred filter:p/1-0 (multi) filter.m:20 (filter.m:10)
mdb> dd
+Call p(_)
+Solutions:
+ p([1, 2, 9])
+ p([1, 2, 7, 8, 9])
+ p([1, 2, 3, 9])
+ p([1, 2, 3, 7, 8, 9])
+Complete? no
Call s2(_)
Solutions:
s2([9])
Index: tests/debugger/declarative/filter.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/filter.inp,v
retrieving revision 1.1
diff -u -r1.1 filter.inp
--- tests/debugger/declarative/filter.inp 2000/05/08 18:16:57 1.1
+++ tests/debugger/declarative/filter.inp 2000/08/18 06:02:15
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
@@ -11,23 +12,27 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/gcf.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/gcf.exp,v
retrieving revision 1.7
diff -u -r1.7 gcf.exp
--- tests/debugger/declarative/gcf.exp 2000/05/08 18:16:58 1.7
+++ tests/debugger/declarative/gcf.exp 2000/08/18 07:17:39
@@ -9,6 +9,8 @@
mdb> finish
23: 2 2 EXIT pred gcf:a/1-0 (nondet) gcf.m:26 (gcf.m:10)
mdb> dd
+a(11)
+Valid? no
g(2)
Valid? yes
c(2, 11)
@@ -24,6 +26,8 @@
mdb> finish
30: 2 2 EXIT pred gcf:a/1-0 (nondet) gcf.m:26 (gcf.m:10)
mdb> dd
+a(12)
+Valid? no
c(2, 12)
Valid? yes
f(12)
@@ -37,6 +41,8 @@
mdb> finish
42: 2 2 EXIT pred gcf:a/1-0 (nondet) gcf.m:26 (gcf.m:10)
mdb> dd
+a(20)
+Valid? no
g(3)
Valid? yes
c(3, 20)
Index: tests/debugger/declarative/gcf.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/gcf.inp,v
retrieving revision 1.5
diff -u -r1.5 gcf.inp
--- tests/debugger/declarative/gcf.inp 2000/05/08 18:16:58 1.5
+++ tests/debugger/declarative/gcf.inp 2000/08/18 06:02:22
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
@@ -11,12 +12,14 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/if_then_else.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/if_then_else.exp,v
retrieving revision 1.7
diff -u -r1.7 if_then_else.exp
--- tests/debugger/declarative/if_then_else.exp 2000/05/08 18:16:59 1.7
+++ tests/debugger/declarative/if_then_else.exp 2000/08/18 07:24:55
@@ -9,6 +9,8 @@
mdb> finish
9: 2 2 EXIT pred if_then_else:ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8)
mdb> dd
+ite(0, 1)
+Valid? no
a(0)
Valid? yes
b(1)
@@ -23,6 +25,8 @@
mdb> finish
17: 5 2 EXIT pred if_then_else:ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12)
mdb> dd
+ite(1, 0)
+Valid? no
Call a(1)
No solutions.
Complete? yes
Index: tests/debugger/declarative/if_then_else.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/if_then_else.exp2,v
retrieving revision 1.7
diff -u -r1.7 if_then_else.exp2
--- tests/debugger/declarative/if_then_else.exp2 2000/05/08 18:16:59 1.7
+++ tests/debugger/declarative/if_then_else.exp2 2000/08/18 09:08:56
@@ -9,6 +9,8 @@
mdb> finish
9: 2 2 EXIT pred if_then_else:ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8)
mdb> dd
+ite(0, 1)
+Valid? no
a(0)
Valid? yes
b(1)
@@ -23,6 +25,8 @@
mdb> finish
23: 8 2 EXIT pred if_then_else:ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12)
mdb> dd
+ite(1, 0)
+Valid? no
Call a(1)
No solutions.
Complete? yes
Index: tests/debugger/declarative/if_then_else.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/if_then_else.inp,v
retrieving revision 1.5
diff -u -r1.5 if_then_else.inp
--- tests/debugger/declarative/if_then_else.inp 2000/05/08 18:16:59 1.5
+++ tests/debugger/declarative/if_then_else.inp 2000/08/18 06:02:29
@@ -4,12 +4,14 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
continue
Index: tests/debugger/declarative/lpe_example.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/lpe_example.exp,v
retrieving revision 1.6
diff -u -r1.6 lpe_example.exp
--- tests/debugger/declarative/lpe_example.exp 2000/05/08 18:17:00 1.6
+++ tests/debugger/declarative/lpe_example.exp 2000/08/18 07:25:44
@@ -11,6 +11,8 @@
mdb> finish
10: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
+p(1, 13)
+Valid? no
q(3)
Valid? yes
r(3, 13)
@@ -24,6 +26,8 @@
mdb> finish
15: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
+p(1, 23)
+Valid? no
r(3, 23)
Valid? yes
Found incorrect contour:
@@ -35,6 +39,8 @@
mdb> finish
20: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
+p(1, 3)
+Valid? no
Found incorrect contour:
p(1, 3)
Is this a bug? yes
@@ -44,6 +50,12 @@
mdb> finish
22: 2 2 FAIL pred lpe_example:p/2-0 (nondet)
mdb> dd
+Call p(1, _)
+Solutions:
+ p(1, 13)
+ p(1, 23)
+ p(1, 3)
+Complete? no
Call r(3, _)
Solutions:
r(3, 13)
Index: tests/debugger/declarative/lpe_example.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/lpe_example.exp2,v
retrieving revision 1.6
diff -u -r1.6 lpe_example.exp2
--- tests/debugger/declarative/lpe_example.exp2 2000/05/08 18:17:00 1.6
+++ tests/debugger/declarative/lpe_example.exp2 2000/08/18 09:08:57
@@ -11,6 +11,8 @@
mdb> finish
11: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
+p(1, 13)
+Valid? no
q(3)
Valid? yes
r(3, 13)
@@ -24,6 +26,8 @@
mdb> finish
16: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
+p(1, 23)
+Valid? no
r(3, 23)
Valid? yes
Found incorrect contour:
@@ -35,6 +39,8 @@
mdb> finish
21: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
+p(1, 3)
+Valid? no
Found incorrect contour:
p(1, 3)
Is this a bug? yes
@@ -44,6 +50,12 @@
mdb> finish
23: 3 3 FAIL pred lpe_example:p/2-0 (nondet)
mdb> dd
+Call p(1, _)
+Solutions:
+ p(1, 13)
+ p(1, 23)
+ p(1, 3)
+Complete? no
Call r(3, _)
Solutions:
r(3, 13)
Index: tests/debugger/declarative/lpe_example.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/lpe_example.inp,v
retrieving revision 1.5
diff -u -r1.5 lpe_example.inp
--- tests/debugger/declarative/lpe_example.inp 2000/05/08 18:17:01 1.5
+++ tests/debugger/declarative/lpe_example.inp 2000/08/18 06:02:35
@@ -5,21 +5,25 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
continue
finish
dd
+no
yes
continue
finish
dd
+no
yes
yes
continue
Index: tests/debugger/declarative/neg_conj.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/neg_conj.exp,v
retrieving revision 1.5
diff -u -r1.5 neg_conj.exp
--- tests/debugger/declarative/neg_conj.exp 2000/05/08 18:17:01 1.5
+++ tests/debugger/declarative/neg_conj.exp 2000/08/18 07:26:46
@@ -9,6 +9,8 @@
mdb> finish
18: 2 2 EXIT pred neg_conj:p/1-0 (semidet) neg_conj.m:19 (neg_conj.m:9)
mdb> dd
+p(0)
+Valid? no
q(0, 0)
Valid? yes
Call r(0)
Index: tests/debugger/declarative/neg_conj.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/neg_conj.inp,v
retrieving revision 1.4
diff -u -r1.4 neg_conj.inp
--- tests/debugger/declarative/neg_conj.inp 2000/05/08 18:17:01 1.4
+++ tests/debugger/declarative/neg_conj.inp 2000/08/18 06:02:40
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/negation.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/negation.exp,v
retrieving revision 1.5
diff -u -r1.5 negation.exp
--- tests/debugger/declarative/negation.exp 2000/05/08 18:17:02 1.5
+++ tests/debugger/declarative/negation.exp 2000/08/18 07:26:35
@@ -9,6 +9,8 @@
mdb> finish
23: 2 2 EXIT pred negation:p/2-0 (det) negation.m:29 (negation.m:14)
mdb> dd
+p(1, 42)
+Valid? no
r(1, 11)
Valid? yes
q(11)
Index: tests/debugger/declarative/negation.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/negation.inp,v
retrieving revision 1.4
diff -u -r1.4 negation.inp
--- tests/debugger/declarative/negation.inp 2000/05/08 18:17:02 1.4
+++ tests/debugger/declarative/negation.inp 2000/08/18 06:02:46
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/oracle_db.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/oracle_db.exp,v
retrieving revision 1.7
diff -u -r1.7 oracle_db.exp
--- tests/debugger/declarative/oracle_db.exp 2000/05/08 18:17:03 1.7
+++ tests/debugger/declarative/oracle_db.exp 2000/08/18 07:27:48
@@ -9,6 +9,8 @@
mdb> finish
10: 2 2 EXIT pred oracle_db:a/3-0 (semidet) oracle_db.m:19 (oracle_db.m:9)
mdb> dd
+a(99, 99, 99)
+Valid? no
b(99)
Valid? yes
Found incorrect contour:
Index: tests/debugger/declarative/oracle_db.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/oracle_db.inp,v
retrieving revision 1.5
diff -u -r1.5 oracle_db.inp
--- tests/debugger/declarative/oracle_db.inp 2000/05/08 18:17:03 1.5
+++ tests/debugger/declarative/oracle_db.inp 2000/08/18 06:02:54
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
yes
continue
Index: tests/debugger/declarative/propositional.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/propositional.exp,v
retrieving revision 1.8
diff -u -r1.8 propositional.exp
--- tests/debugger/declarative/propositional.exp 2000/05/08 18:17:03 1.8
+++ tests/debugger/declarative/propositional.exp 2000/08/18 07:28:27
@@ -11,6 +11,8 @@
mdb> finish
11: 2 2 EXIT pred propositional:a/0-0 (semidet) propositional.m:27 (propositional.m:10)
mdb> dd
+a
+Valid? no
c
Valid? yes
Found incorrect contour:
@@ -22,6 +24,8 @@
mdb> finish
22: 5 2 EXIT pred propositional:b/0-0 (semidet) propositional.m:29 (propositional.m:10)
mdb> dd
+b
+Valid? no
f
Valid? no
i
Index: tests/debugger/declarative/propositional.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/propositional.exp2,v
retrieving revision 1.7
diff -u -r1.7 propositional.exp2
--- tests/debugger/declarative/propositional.exp2 2000/05/08 18:17:04 1.7
+++ tests/debugger/declarative/propositional.exp2 2000/08/18 09:08:57
@@ -11,6 +11,8 @@
mdb> finish
15: 2 2 EXIT pred propositional:a/0-0 (semidet) propositional.m:27 (propositional.m:10)
mdb> dd
+a
+Valid? no
c
Valid? yes
Found incorrect contour:
@@ -22,6 +24,8 @@
mdb> finish
30: 7 2 EXIT pred propositional:b/0-0 (semidet) propositional.m:29 (propositional.m:10)
mdb> dd
+b
+Valid? no
f
Valid? no
i
Index: tests/debugger/declarative/propositional.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/propositional.inp,v
retrieving revision 1.6
diff -u -r1.6 propositional.inp
--- tests/debugger/declarative/propositional.inp 2000/05/08 18:17:04 1.6
+++ tests/debugger/declarative/propositional.inp 2000/08/18 06:03:01
@@ -5,11 +5,13 @@
continue
finish
dd
+no
yes
yes
continue
finish
dd
+no
no
yes
yes
Index: tests/debugger/declarative/queens.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/queens.exp,v
retrieving revision 1.8
diff -u -r1.8 queens.exp
--- tests/debugger/declarative/queens.exp 2000/08/10 05:51:17 1.8
+++ tests/debugger/declarative/queens.exp 2000/08/18 07:29:11
@@ -11,6 +11,9 @@
mdb> finish
161: 3 2 FAIL pred queens:queen/2-0 (nondet) queens.m:41 (queens.m:15)
mdb> dd
+Call queen([1, 2, 3, 4, 5], _)
+No solutions.
+Complete? no
Call qperm([1, 2, 3, 4, 5], _)
No solutions.
Complete? no
Index: tests/debugger/declarative/queens.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/queens.inp,v
retrieving revision 1.5
diff -u -r1.5 queens.inp
--- tests/debugger/declarative/queens.inp 2000/05/08 18:17:05 1.5
+++ tests/debugger/declarative/queens.inp 2000/08/18 05:59:18
@@ -6,6 +6,7 @@
finish
dd
no
+no
yes
yes
no
Index: tests/debugger/declarative/small.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/small.exp,v
retrieving revision 1.5
diff -u -r1.5 small.exp
--- tests/debugger/declarative/small.exp 2000/05/08 18:17:06 1.5
+++ tests/debugger/declarative/small.exp 2000/08/18 07:29:20
@@ -9,6 +9,8 @@
mdb> finish
3: 2 2 EXIT pred small:p/1-0 (det) small.m:14 (small.m:8)
mdb> dd
+p(42)
+Valid? no
Found incorrect contour:
p(42)
Is this a bug? yes
Index: tests/debugger/declarative/small.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/small.inp,v
retrieving revision 1.4
diff -u -r1.4 small.inp
--- tests/debugger/declarative/small.inp 2000/05/08 18:17:06 1.4
+++ tests/debugger/declarative/small.inp 2000/08/18 06:03:16
@@ -4,6 +4,7 @@
continue
finish
dd
+no
yes
continue
Index: tests/debugger/declarative/throw.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/throw.exp,v
retrieving revision 1.1
diff -u -r1.1 throw.exp
--- tests/debugger/declarative/throw.exp 2000/08/10 05:51:18 1.1
+++ tests/debugger/declarative/throw.exp 2000/08/18 07:29:42
@@ -11,6 +11,9 @@
mdb> finish
31: 2 2 EXCP pred throw:p/1-0 (cc_nondet) throw.m:22
mdb> dd
+Call p(_)
+Throws "Too big"
+Expected? no
a(3)
Valid? yes
Call b(3, _)
@@ -30,6 +33,9 @@
mdb> finish
65: 6 2 EXCP pred throw:q/1-0 (semidet) throw.m:52
mdb> dd
+Call q(_)
+Throws "Too big"
+Expected? no
a2(3)
Valid? yes
Call b2(3, _)
Index: tests/debugger/declarative/throw.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/throw.exp2,v
retrieving revision 1.1
diff -u -r1.1 throw.exp2
--- tests/debugger/declarative/throw.exp2 2000/08/10 05:51:19 1.1
+++ tests/debugger/declarative/throw.exp2 2000/08/18 09:08:58
@@ -11,6 +11,9 @@
mdb> finish
34: 3 3 EXCP pred throw:p/1-0 (cc_nondet) throw.m:22 (exception.m:320)
mdb> dd
+Call p(_)
+Throws "Too big"
+Expected? no
a(3)
Valid? yes
Call b(3, _)
@@ -27,6 +30,9 @@
mdb> finish
76: 11 3 EXCP pred throw:q/1-0 (semidet) throw.m:52 (exception.m:320)
mdb> dd
+Call q(_)
+Throws "Too big"
+Expected? no
a2(3)
Valid? yes
Call b2(3, _)
Index: tests/debugger/declarative/throw.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/throw.inp,v
retrieving revision 1.1
diff -u -r1.1 throw.inp
--- tests/debugger/declarative/throw.inp 2000/08/10 05:51:19 1.1
+++ tests/debugger/declarative/throw.inp 2000/08/18 06:03:21
@@ -5,12 +5,14 @@
continue
finish
dd
+no
yes
yes
yes
continue
finish
dd
+no
yes
yes
yes
Index: tests/debugger/declarative/untraced_subgoal.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/untraced_subgoal.exp,v
retrieving revision 1.1
diff -u -r1.1 untraced_subgoal.exp
--- tests/debugger/declarative/untraced_subgoal.exp 2000/07/14 07:02:10 1.1
+++ tests/debugger/declarative/untraced_subgoal.exp 2000/08/18 07:30:17
@@ -13,6 +13,8 @@
mdb> finish
7: 2 2 EXIT pred untraced_subgoal:p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:10)
mdb> dd
+p(1, 2)
+Valid? no
Found incorrect contour:
p(1, 2)
Is this a bug? yes
@@ -22,6 +24,11 @@
mdb> finish
9: 2 2 FAIL pred untraced_subgoal:p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:10)
mdb> dd
+Call p(1, _)
+Solutions:
+ p(1, 1)
+ p(1, 2)
+Complete? no
Found partially uncovered atom:
p(1, _)
Is this a bug? yes
@@ -32,6 +39,8 @@
mdb> finish
29: 3 2 EXIT pred untraced_subgoal:p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
mdb> dd
+p(2, 2)
+Valid? no
r(1, 1)
Valid? yes
r(2, 2)
@@ -47,6 +56,10 @@
mdb> finish
31: 3 2 FAIL pred untraced_subgoal:p/2-0 (nondet) untraced_subgoal.m:28 (untraced_subgoal.m:18)
mdb> dd
+Call p(2, _)
+Solutions:
+ p(2, 2)
+Complete? no
s(3)
Valid? yes
Call s(_)
Index: tests/debugger/declarative/untraced_subgoal.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/untraced_subgoal.inp,v
retrieving revision 1.1
diff -u -r1.1 untraced_subgoal.inp
--- tests/debugger/declarative/untraced_subgoal.inp 2000/07/14 07:02:10 1.1
+++ tests/debugger/declarative/untraced_subgoal.inp 2000/08/18 06:03:32
@@ -6,14 +6,17 @@
continue
finish
dd
+no
yes
continue
finish
dd
+no
yes
continue
finish
dd
+no
yes
yes
yes
@@ -21,6 +24,7 @@
continue
finish
dd
+no
yes
yes
yes
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list