[m-rev.] trivial diff: fix debugging test failure
Simon Taylor
stayl at cs.mu.OZ.AU
Thu Feb 13 11:34:31 AEDT 2003
Estimated hours taken: 0.1
Branches: main
tests/debugger/declarative/backtrack.exp2:
Add expected output for when the library
is compiled with tracing enabled.
backtrack.exp2:
===============
1: 1 1 CALL pred backtrack.main/2-0 (det) backtrack.m:9
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:24 (backtrack.m:10)
mdb> finish
29: 2 2 EXIT pred backtrack.p/2-0 (det) backtrack.m:24 (backtrack.m:10)
mdb> dd
p(1, no)
Valid? no
q(1, 1)
Valid? yes
Call >(1, 5)
No solutions.
Complete? yes
q(1, 2)
Valid? yes
Call >(2, 5)
No solutions.
Complete? yes
q(1, 3)
Valid? yes
Call >(3, 5)
No solutions.
Complete? yes
Call q(1, _)
Solutions:
q(1, 1)
q(1, 2)
q(1, 3)
Complete? yes
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)
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