[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