diff --git a/tests/debugger/breakpoints.exp b/tests/debugger/breakpoints.exp index 35c087495..72222a6ac 100644 --- a/tests/debugger/breakpoints.exp +++ b/tests/debugger/breakpoints.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred breakpoints.main/2-0 (cc_multi) breakpoints.m:31 + E1: C1 CALL pred breakpoints.main/2-0 (cc_multi) breakpoints.m:31 mdb> echo on Command echo enabled. mdb> register --quiet @@ -22,7 +22,7 @@ Ambiguous procedure specification. The matches are: Which do you want to put a breakpoint on (0-1 or *)? 0 0: + stop interface pred breakpoints.data/1-0 (det) mdb> continue - E2: C2 3 CALL pred breakpoints.data/1-0 (det) breakpoints.m:58 (breakpoints.m:56) + E2: C2 CALL pred breakpoints.data/1-0 (det) breakpoints.m:58 (breakpoints.m:56) mdb> disable 0 0: - stop interface pred breakpoints.data/1-0 (det) mdb> break info @@ -91,21 +91,21 @@ mdb> disable 3 mdb> break nodiag 0: + stop interface pred breakpoints.nodiag/3-0 (semidet) mdb> continue - E3: C3 3 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) + E3: C3 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) mdb> continue - E4: C3 3 SWTC pred breakpoints.qperm/2-0 (nondet) s2; breakpoints.m:65 + E4: C3 SWTC pred breakpoints.qperm/2-0 (nondet) s2; breakpoints.m:65 mdb> finish -N - E5: C4 4 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E5: C4 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> finish -n - E6: C4 4 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E6: C4 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> continue - E7: C3 3 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) + E7: C3 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) mdb> continue - E8: C5 3 CALL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) + E8: C5 CALL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) mdb> finish - E9: C6 4 CALL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) - E10: C6 4 FAIL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) - E11: C5 3 FAIL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) + E9: C6 CALL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) + E10: C6 FAIL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) + E11: C5 FAIL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) mdb> delete * 0: E stop interface pred breakpoints.nodiag/3-0 (semidet) 1: E stop interface pred breakpoints.qperm/2-0 (nondet) @@ -127,14 +127,14 @@ mdb> break -i -I3 qperm 0: + stop interface pred breakpoints.qperm/2-0 (nondet) (ignore next 3 interface events) mdb> continue - E12: C7 6 REDO pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E12: C7 REDO pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> print * HeadVar__1 [4, 5] mdb> ignore -E4 0 0: + stop interface pred breakpoints.qperm/2-0 (nondet) (ignore next 4 call events) mdb> continue - E13: C8 8 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E13: C8 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> print * HeadVar__1 [] mdb> delete * diff --git a/tests/debugger/breakpoints.exp2 b/tests/debugger/breakpoints.exp2 index cd6db7efb..d975b4894 100644 --- a/tests/debugger/breakpoints.exp2 +++ b/tests/debugger/breakpoints.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred breakpoints.main/2-0 (cc_multi) breakpoints.m:31 + E1: C1 CALL pred breakpoints.main/2-0 (cc_multi) breakpoints.m:31 mdb> echo on Command echo enabled. mdb> register --quiet @@ -22,7 +22,7 @@ Ambiguous procedure specification. The matches are: Which do you want to put a breakpoint on (0-1 or *)? 0 0: + stop interface pred breakpoints.data/1-0 (det) mdb> continue - E2: C2 3 CALL pred breakpoints.data/1-0 (det) breakpoints.m:58 (breakpoints.m:56) + E2: C2 CALL pred breakpoints.data/1-0 (det) breakpoints.m:58 (breakpoints.m:56) mdb> disable 0 0: - stop interface pred breakpoints.data/1-0 (det) mdb> break info @@ -99,21 +99,21 @@ mdb> disable 3 mdb> break nodiag 0: + stop interface pred breakpoints.nodiag/3-0 (semidet) mdb> continue - E3: C3 3 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) + E3: C3 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) mdb> continue - E4: C3 3 SWTC pred breakpoints.qperm/2-0 (nondet) s2; breakpoints.m:65 + E4: C3 SWTC pred breakpoints.qperm/2-0 (nondet) s2; breakpoints.m:65 mdb> finish -N - E5: C4 4 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E5: C4 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> finish -n - E6: C4 4 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E6: C4 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> continue - E7: C3 3 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) + E7: C3 EXIT pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:61) mdb> continue - E8: C5 3 CALL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) + E8: C5 CALL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) mdb> finish - E9: C6 4 CALL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) - E10: C6 4 FAIL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) - E11: C5 3 FAIL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) + E9: C6 CALL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) + E10: C6 FAIL pred breakpoints.nodiag/3-0 (semidet) breakpoints.m:79 (breakpoints.m:76) + E11: C5 FAIL pred breakpoints.safe/1-0 (semidet) breakpoints.m:74 (breakpoints.m:62) mdb> delete * 0: E stop interface pred breakpoints.nodiag/3-0 (semidet) 1: E stop interface pred breakpoints.qperm/2-0 (nondet) @@ -135,14 +135,14 @@ mdb> break -i -I3 qperm 0: + stop interface pred breakpoints.qperm/2-0 (nondet) (ignore next 3 interface events) mdb> continue - E12: C7 6 REDO pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E12: C7 REDO pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> print * HeadVar__1 [4, 5] mdb> ignore -E4 0 0: + stop interface pred breakpoints.qperm/2-0 (nondet) (ignore next 4 call events) mdb> continue - E13: C8 8 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) + E13: C8 CALL pred breakpoints.qperm/2-0 (nondet) breakpoints.m:64 (breakpoints.m:68) mdb> print * HeadVar__1 [] mdb> delete * diff --git a/tests/debugger/browser_test.exp b/tests/debugger/browser_test.exp index 21132f1e7..1d993beda 100644 --- a/tests/debugger/browser_test.exp +++ b/tests/debugger/browser_test.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred browser_test.main/2-0 (det) browser_test.m:16 + E1: C1 CALL pred browser_test.main/2-0 (det) browser_test.m:16 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break big_data 0: + stop interface pred browser_test.big_data/1-0 (det) mdb> continue - E2: C2 2 CALL pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20) + E2: C2 CALL pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20) mdb> finish - E3: C2 2 EXIT pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20) + E3: C2 EXIT pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20) mdb> delete * 0: E stop interface pred browser_test.big_data/1-0 (det) mdb> save_to_file 1 browser_test.save.1 @@ -119,14 +119,14 @@ mdb> print Data/1/2 mdb> print 1^1^2^3 mdb: the path 3 does not exist. mdb> retry - E2: C2 2 CALL pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20) + E2: C2 CALL pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20) mdb> break list_data 0: + stop interface pred browser_test.list_data/1-0 (det) mdb> continue big(big(big(small, 1, small), 2, small), 3, big(big(small, 4, big(small, 5, small)), 6, small)). - E4: C3 2 CALL pred browser_test.list_data/1-0 (det) browser_test.m:66 (browser_test.m:23) + E4: C3 CALL pred browser_test.list_data/1-0 (det) browser_test.m:66 (browser_test.m:23) mdb> finish - E5: C3 2 EXIT pred browser_test.list_data/1-0 (det) browser_test.m:66 (browser_test.m:23) + E5: C3 EXIT pred browser_test.list_data/1-0 (det) browser_test.m:66 (browser_test.m:23) mdb> save_to_file Data browser_test.save.2 mdb> break a_func 1: + stop interface func browser_test.a_func/1-0 (det) @@ -186,9 +186,9 @@ seq( 5 ) - E6: C4 2 CALL func browser_test.a_func/1-0 (det) browser_test.m:112 (browser_test.m:31) + E6: C4 CALL func browser_test.a_func/1-0 (det) browser_test.m:112 (browser_test.m:31) mdb> finish - E7: C4 2 EXIT func browser_test.a_func/1-0 (det) browser_test.m:112 (browser_test.m:31) + E7: C4 EXIT func browser_test.a_func/1-0 (det) browser_test.m:112 (browser_test.m:31) mdb> print -p a_func(big(big(...), ...)) = big(big(...), ...) mdb> print -r diff --git a/tests/debugger/declarative/aadebug.exp b/tests/debugger/declarative/aadebug.exp index 609c7f267..1657891cf 100644 --- a/tests/debugger/declarative/aadebug.exp +++ b/tests/debugger/declarative/aadebug.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred aadebug.main/2-0 (det) aadebug.m:11 + E1: C1 CALL pred aadebug.main/2-0 (det) aadebug.m:11 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break p 0: + stop interface pred aadebug.p/2-0 (nondet) mdb> continue - E2: C2 2 CALL pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E2: C2 CALL pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> finish - E3: C2 2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E3: C2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> dd p('a', 30) Valid? no @@ -20,22 +20,22 @@ Valid? yes Found incorrect contour: p('a', 30) Is this a bug? yes - E3: C2 2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E3: C2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> continue - E4: C2 2 REDO pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E4: C2 REDO pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> finish - E5: C2 2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E5: C2 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 - E5: C2 2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E5: C2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> continue - E6: C2 2 REDO pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E6: C2 REDO pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> finish - E7: C2 2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E7: C2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> dd p('a', 32) Valid? no @@ -50,11 +50,11 @@ Complete? yes Found incorrect contour: p('a', 32) Is this a bug? yes - E7: C2 2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E7: C2 EXIT pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> continue - E8: C2 2 REDO pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E8: C2 REDO pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> finish - E9: C2 2 FAIL pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E9: C2 FAIL pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> dd Call p('a', _) Solutions: @@ -70,6 +70,6 @@ Complete? yes Found partially uncovered atom: p('a', _) Is this a bug? yes - E9: C2 2 FAIL pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) + E9: C2 FAIL pred aadebug.p/2-0 (nondet) aadebug.m:24 (aadebug.m:9) mdb> continue no diff --git a/tests/debugger/declarative/app.exp b/tests/debugger/declarative/app.exp index 2c207ce06..32e4a4aa7 100644 --- a/tests/debugger/declarative/app.exp +++ b/tests/debugger/declarative/app.exp @@ -1,30 +1,30 @@ - E1: C1 1 CALL pred app.main/2-0 (det) app.m:10 + E1: C1 CALL pred app.main/2-0 (det) app.m:10 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break app 0: + stop interface pred app.app/3-0 (det) mdb> continue - E2: C2 2 CALL pred app.app/3-0 (det) app.m:26 (app.m:13) + E2: C2 CALL pred app.app/3-0 (det) app.m:26 (app.m:13) mdb> continue - E3: C3 3 CALL pred app.app/3-0 (det) app.m:26 (app.m:28) + E3: C3 CALL pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E4: C4 4 CALL pred app.app/3-0 (det) app.m:26 (app.m:28) + E4: C4 CALL pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E5: C5 5 CALL pred app.app/3-0 (det) app.m:26 (app.m:28) + E5: C5 CALL pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> finish -n - E6: C5 5 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E6: C5 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> dd app([4, 5], [6, 7, 8], [4, ...]) Valid? yes No bug found. - E6: C5 5 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E6: C5 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E7: C4 4 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E7: C4 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E8: C3 3 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E8: C3 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E9: C2 2 EXIT pred app.app/3-0 (det) app.m:26 (app.m:13) + E9: C2 EXIT pred app.app/3-0 (det) app.m:26 (app.m:13) mdb> dd app([1, 2, 3, 4, 5], [6, 7, ...], [|]/2) Valid? no @@ -35,16 +35,16 @@ Valid? no Found incorrect contour: app([3, 4, 5], [6, 7, 8], [3, ...]) Is this a bug? yes - E7: C4 4 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E7: C4 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E8: C3 3 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E8: C3 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E9: C2 2 EXIT pred app.app/3-0 (det) app.m:26 (app.m:13) + E9: C2 EXIT pred app.app/3-0 (det) app.m:26 (app.m:13) mdb> continue append([1, 2, 3, 4, 5], [6, 7, 8], [1, 2, 3, 4, 5, 6, 7, 8]). - E10: C6 2 CALL pred app.app/3-0 (det) app.m:26 (app.m:18) + E10: C6 CALL pred app.app/3-0 (det) app.m:26 (app.m:18) mdb> finish -n - E11: C6 2 EXIT pred app.app/3-0 (det) app.m:26 (app.m:18) + E11: C6 EXIT pred app.app/3-0 (det) app.m:26 (app.m:18) mdb> dd app([1, 2, 3, 4, 5, 6, 7, 8, ...], [|]/2, [|]/2) Valid? no @@ -69,8 +69,8 @@ Valid? no Found incorrect contour: app([3, 4, 5], [6, 7, 8], [3, ...]) Is this a bug? yes - E12: C7 14 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E12: C7 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> continue - E13: C8 13 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) + E13: C8 EXIT pred app.app/3-0 (det) app.m:26 (app.m:28) mdb> quit mdb: are you sure you want to quit? y diff --git a/tests/debugger/declarative/args.exp b/tests/debugger/declarative/args.exp index 7b91c6864..329310705 100644 --- a/tests/debugger/declarative/args.exp +++ b/tests/debugger/declarative/args.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred args.main/2-0 (cc_multi) args.m:17 + E1: C1 CALL pred args.main/2-0 (cc_multi) args.m:17 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break p 0: + stop interface pred args.p/5-0 (nondet) mdb> continue - E2: C2 2 CALL pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E2: C2 CALL pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> finish - E3: C2 2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E3: C2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> dd p(1, 16, 3, 20, 5) Valid? no @@ -24,11 +24,11 @@ Valid? yes Found incorrect contour: p(1, 16, 3, 20, 5) Is this a bug? yes - E3: C2 2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E3: C2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> continue - E4: C2 2 REDO pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E4: C2 REDO pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> finish - E5: C2 2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E5: C2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> dd p(1, -2, 3, 2, 5) Valid? no @@ -39,11 +39,11 @@ Valid? yes Found incorrect contour: p(1, -2, 3, 2, 5) Is this a bug? yes - E5: C2 2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E5: C2 EXIT pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> continue - E6: C2 2 REDO pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E6: C2 REDO pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> finish - E7: C2 2 FAIL pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E7: C2 FAIL pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> dd Call p(1, _, 3, _, 5) Solutions: @@ -53,6 +53,6 @@ Complete? no Found partially uncovered atom: p(1, _, 3, _, 5) Is this a bug? yes - E7: C2 2 FAIL pred args.p/5-0 (nondet) args.m:24 (args.m:10) + E7: C2 FAIL pred args.p/5-0 (nondet) args.m:24 (args.m:10) mdb> continue no. diff --git a/tests/debugger/declarative/big.exp b/tests/debugger/declarative/big.exp index bddee5884..ce2ee5459 100644 --- a/tests/debugger/declarative/big.exp +++ b/tests/debugger/declarative/big.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred big.main/2-0 (det) big.m:10 + E1: C1 CALL pred big.main/2-0 (det) big.m:10 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break p 0: + stop interface pred big.p/1-0 (nondet) mdb> continue - E2: C2 2 CALL pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E2: C2 CALL pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> finish - E3: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E3: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> dd p(-12) Valid? no @@ -27,11 +27,11 @@ Valid? yes Found incorrect contour: p(-12) Is this a bug? yes - E3: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E3: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> continue - E4: C2 2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E4: C2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> finish - E5: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E5: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> dd p(-14) Valid? no @@ -42,11 +42,11 @@ Valid? yes Found incorrect contour: p(-14) Is this a bug? yes - E5: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E5: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> continue - E6: C2 2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E6: C2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> finish - E7: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E7: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> dd p(-20) Valid? no @@ -69,11 +69,11 @@ Valid? yes Found incorrect contour: p(-20) Is this a bug? yes - E7: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E7: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> continue - E8: C2 2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E8: C2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> finish - E9: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E9: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> dd p(-22) Valid? no @@ -84,11 +84,11 @@ Valid? yes Found incorrect contour: p(-22) Is this a bug? yes - E9: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E9: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> continue - E10: C2 2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E10: C2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> finish - E11: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E11: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> dd p(2) Valid? no @@ -116,11 +116,11 @@ Complete? yes Found incorrect contour: p(2) Is this a bug? yes - E11: C2 2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E11: C2 EXIT pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> continue - E12: C2 2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E12: C2 REDO pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> finish - E13: C2 2 FAIL pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E13: C2 FAIL pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> dd Call p(_) Solutions: @@ -164,6 +164,6 @@ Valid? yes Found partially uncovered atom: p(_) Is this a bug? yes - E13: C2 2 FAIL pred big.p/1-0 (nondet) big.m:24 (big.m:12) + E13: C2 FAIL pred big.p/1-0 (nondet) big.m:24 (big.m:12) mdb> continue no. diff --git a/tests/debugger/declarative/filter.exp b/tests/debugger/declarative/filter.exp index 7286510af..593fb90d1 100644 --- a/tests/debugger/declarative/filter.exp +++ b/tests/debugger/declarative/filter.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred filter.main/2-0 (det) filter.m:13 + E1: C1 CALL pred filter.main/2-0 (det) filter.m:13 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break p 0: + stop interface pred filter.p/1-0 (multi) mdb> continue - E2: C2 2 CALL pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E2: C2 CALL pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> finish - E3: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E3: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> dd p([1, 2, 9]) Valid? no @@ -20,11 +20,11 @@ Valid? yes Found incorrect contour: p([1, 2, 9]) Is this a bug? yes - E3: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E3: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> continue - E4: C2 2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E4: C2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> finish - E5: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E5: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> dd p([1, 2, 7, 8, 9]) Valid? no @@ -35,11 +35,11 @@ Valid? yes Found incorrect contour: p([1, 2, 7, 8, 9]) Is this a bug? yes - E5: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E5: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> continue - E6: C2 2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E6: C2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> finish - E7: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E7: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> dd p([1, 2, 3, 9]) Valid? no @@ -50,11 +50,11 @@ Valid? yes Found incorrect contour: p([1, 2, 3, 9]) Is this a bug? yes - E7: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E7: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> continue - E8: C2 2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E8: C2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> finish - E9: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E9: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> dd p([1, 2, 3, 7, 8, 9]) Valid? no @@ -63,11 +63,11 @@ Valid? yes Found incorrect contour: p([1, 2, 3, 7, 8, 9]) Is this a bug? yes - E9: C2 2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E9: C2 EXIT pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> continue - E10: C2 2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E10: C2 REDO pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> finish - E11: C2 2 FAIL pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E11: C2 FAIL pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> dd Call p(_) Solutions: @@ -89,6 +89,6 @@ Complete? yes Found partially uncovered atom: p(_) Is this a bug? yes - E11: C2 2 FAIL pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) + E11: C2 FAIL pred filter.p/1-0 (multi) filter.m:20 (filter.m:10) mdb> continue no diff --git a/tests/debugger/declarative/if_then_else.exp b/tests/debugger/declarative/if_then_else.exp index 36c6fa248..c11ce90d4 100644 --- a/tests/debugger/declarative/if_then_else.exp +++ b/tests/debugger/declarative/if_then_else.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred if_then_else.main/2-0 (det) if_then_else.m:7 + E1: C1 CALL pred if_then_else.main/2-0 (det) if_then_else.m:7 mdb> echo on Command echo enabled. mdb> register --quiet mdb> break ite 0: + stop interface pred if_then_else.ite/2-0 (det) mdb> continue - E2: C2 2 CALL pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8) + E2: C2 CALL pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8) mdb> finish - E3: C2 2 EXIT pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8) + E3: C2 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 @@ -18,12 +18,12 @@ Valid? yes Found incorrect contour: ite(0, 1) Is this a bug? yes - E3: C2 2 EXIT pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8) + E3: C2 EXIT pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:8) mdb> continue ite(0, 1). - E4: C3 2 CALL pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12) + E4: C3 CALL pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12) mdb> finish - E5: C3 2 EXIT pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12) + E5: C3 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 @@ -33,6 +33,6 @@ Complete? yes Found incorrect contour: ite(1, 0) Is this a bug? yes - E5: C3 2 EXIT pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12) + E5: C3 EXIT pred if_then_else.ite/2-0 (det) if_then_else.m:22 (if_then_else.m:12) mdb> continue ite(1, 0). diff --git a/tests/debugger/declarative/input_term_dep.exp b/tests/debugger/declarative/input_term_dep.exp index e2aed2d3e..a15d0501c 100644 --- a/tests/debugger/declarative/input_term_dep.exp +++ b/tests/debugger/declarative/input_term_dep.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred input_term_dep.main/2-0 (det) input_term_dep.m:9 + E1: C1 CALL pred input_term_dep.main/2-0 (det) input_term_dep.m:9 mdb> echo on Command echo enabled. mdb> register --quiet @@ -11,9 +11,9 @@ mdb> break r mdb> break s 3: + stop interface pred input_term_dep.s/1-0 (semidet) mdb> continue - E2: C2 3 CALL pred input_term_dep.p/3-0 (det) input_term_dep.m:33 (input_term_dep.m:22) + E2: C2 CALL pred input_term_dep.p/3-0 (det) input_term_dep.m:33 (input_term_dep.m:22) mdb> finish - E3: C2 3 EXIT pred input_term_dep.p/3-0 (det) input_term_dep.m:33 (input_term_dep.m:22) + E3: C2 EXIT pred input_term_dep.p/3-0 (det) input_term_dep.m:33 (input_term_dep.m:22) mdb> dd p(5, 8, 13) Valid? browse 3 @@ -28,14 +28,14 @@ Valid? yes Found incorrect contour: p(5, 8, 13) Is this a bug? yes - E3: C2 3 EXIT pred input_term_dep.p/3-0 (det) input_term_dep.m:33 (input_term_dep.m:22) + E3: C2 EXIT pred input_term_dep.p/3-0 (det) input_term_dep.m:33 (input_term_dep.m:22) mdb> continue 5 8 13 - E4: C3 3 CALL pred input_term_dep.q/1-0 (semidet) input_term_dep.m:69 (input_term_dep.m:58) + E4: C3 CALL pred input_term_dep.q/1-0 (semidet) input_term_dep.m:69 (input_term_dep.m:58) mdb> finish - E5: C3 3 EXIT pred input_term_dep.q/1-0 (semidet) input_term_dep.m:69 (input_term_dep.m:58) + E5: C3 EXIT pred input_term_dep.q/1-0 (semidet) input_term_dep.m:69 (input_term_dep.m:58) mdb> dd q([[2, 3], [], [1]]) Valid? browse 1 @@ -50,12 +50,12 @@ Valid? yes Found incorrect contour: q([[2, 3], [], [1]]) Is this a bug? yes - E5: C3 3 EXIT pred input_term_dep.q/1-0 (semidet) input_term_dep.m:69 (input_term_dep.m:58) + E5: C3 EXIT pred input_term_dep.q/1-0 (semidet) input_term_dep.m:69 (input_term_dep.m:58) mdb> continue [[2, 3], [], [1]] - E6: C4 3 CALL pred input_term_dep.r/2-0 (det) input_term_dep.m:111 (input_term_dep.m:93) + E6: C4 CALL pred input_term_dep.r/2-0 (det) input_term_dep.m:111 (input_term_dep.m:93) mdb> finish - E7: C4 3 EXIT pred input_term_dep.r/2-0 (det) input_term_dep.m:111 (input_term_dep.m:93) + E7: C4 EXIT pred input_term_dep.r/2-0 (det) input_term_dep.m:111 (input_term_dep.m:93) mdb> dd r(1, 33) Valid? browse 2 @@ -70,12 +70,12 @@ Valid? yes Found incorrect contour: r(1, 33) Is this a bug? yes - E7: C4 3 EXIT pred input_term_dep.r/2-0 (det) input_term_dep.m:111 (input_term_dep.m:93) + E7: C4 EXIT pred input_term_dep.r/2-0 (det) input_term_dep.m:111 (input_term_dep.m:93) mdb> continue 33 - E8: C5 3 CALL pred input_term_dep.s/1-0 (semidet) input_term_dep.m:146 (input_term_dep.m:135) + E8: C5 CALL pred input_term_dep.s/1-0 (semidet) input_term_dep.m:146 (input_term_dep.m:135) mdb> finish - E9: C5 3 EXIT pred input_term_dep.s/1-0 (semidet) input_term_dep.m:146 (input_term_dep.m:135) + E9: C5 EXIT pred input_term_dep.s/1-0 (semidet) input_term_dep.m:146 (input_term_dep.m:135) mdb> dd s(1) Valid? no @@ -93,6 +93,6 @@ Valid? yes Found incorrect contour: s(1) Is this a bug? yes - E9: C5 3 EXIT pred input_term_dep.s/1-0 (semidet) input_term_dep.m:146 (input_term_dep.m:135) + E9: C5 EXIT pred input_term_dep.s/1-0 (semidet) input_term_dep.m:146 (input_term_dep.m:135) mdb> continue yes diff --git a/tests/debugger/declarative/io_stream_test.exp b/tests/debugger/declarative/io_stream_test.exp index 16301ae9b..e9b8c88f6 100644 --- a/tests/debugger/declarative/io_stream_test.exp +++ b/tests/debugger/declarative/io_stream_test.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred io_stream_test.main/2-0 (det) io_stream_test.m:16 + E1: C1 CALL pred io_stream_test.main/2-0 (det) io_stream_test.m:16 mdb> echo on Command echo enabled. mdb> register --quiet @@ -10,12 +10,12 @@ I/O tabling started. mdb> break io_stream_test__test 0: + stop interface pred io_stream_test.test/4-0 (det) mdb> continue - E2: C2 3 CALL pred io_stream_test.test/4-0 (det) + E2: C2 CALL pred io_stream_test.test/4-0 (det) mdb> print * Stream (arg 1) stream(0, input, text, file("tabled_read_decl.data")) DCG_0 (arg 3) state('<>') mdb> finish -n - E3: C2 3 EXIT pred io_stream_test.test/4-0 (det) + E3: C2 EXIT pred io_stream_test.test/4-0 (det) mdb> print * Stream (arg 1) stream(0, input, text, file("tabled_read_decl.data")) N (arg 2) 1123 @@ -63,7 +63,7 @@ read_char_code(stream(0, input, text, file("tabled_read_decl.data")), 50) read_char_code(stream(0, input, text, file("tabled_read_decl.data")), 51) read_char_code(stream(0, input, text, file("tabled_read_decl.data")), 10) Is this a bug? yes - E3: C2 3 EXIT pred io_stream_test.test/4-0 (det) + E3: C2 EXIT pred io_stream_test.test/4-0 (det) mdb> c -n -S 1123 1456 diff --git a/tests/debugger/declarative/io_stream_test.exp2 b/tests/debugger/declarative/io_stream_test.exp2 index d8de8a601..62a6a3416 100644 --- a/tests/debugger/declarative/io_stream_test.exp2 +++ b/tests/debugger/declarative/io_stream_test.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred io_stream_test.main/2-0 (det) io_stream_test.m:16 + E1: C1 CALL pred io_stream_test.main/2-0 (det) io_stream_test.m:16 mdb> echo on Command echo enabled. mdb> register --quiet @@ -10,12 +10,12 @@ I/O tabling started. mdb> break io_stream_test__test 0: + stop interface pred io_stream_test.test/4-0 (det) mdb> continue - E2: C2 3 CALL pred io_stream_test.test/4-0 (det) + E2: C2 CALL pred io_stream_test.test/4-0 (det) mdb> print * Stream (arg 1) stream(0, input, text, file("tabled_read_decl.data")) DCG_0 (arg 3) state('<>') mdb> finish -n - E3: C2 3 EXIT pred io_stream_test.test/4-0 (det) + E3: C2 EXIT pred io_stream_test.test/4-0 (det) mdb> print * Stream (arg 1) stream(0, input, text, file("tabled_read_decl.data")) N (arg 2) 1123 @@ -37,7 +37,7 @@ Valid? yes Found incorrect contour: test(stream(0, input, text, file("tabled_read_decl.data")), 1456, _, state('<>')) Is this a bug? yes - E3: C2 3 EXIT pred io_stream_test.test/4-0 (det) + E3: C2 EXIT pred io_stream_test.test/4-0 (det) mdb> c -n -S 1789 142 diff --git a/tests/debugger/declarative/output_term_dep.exp b/tests/debugger/declarative/output_term_dep.exp index bb375804b..f4c13f4bf 100644 --- a/tests/debugger/declarative/output_term_dep.exp +++ b/tests/debugger/declarative/output_term_dep.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred output_term_dep.main/2-0 (det) output_term_dep.m:9 + E1: C1 CALL pred output_term_dep.main/2-0 (det) output_term_dep.m:9 mdb> echo on Command echo enabled. mdb> register --quiet @@ -15,9 +15,9 @@ mdb> break s mdb> break t 4: + stop interface pred output_term_dep.t/2-0 (semidet) mdb> continue - E2: C2 3 CALL pred output_term_dep.p/3-0 (det) + E2: C2 CALL pred output_term_dep.p/3-0 (det) mdb> finish - E3: C2 3 EXIT pred output_term_dep.p/3-0 (det) + E3: C2 EXIT pred output_term_dep.p/3-0 (det) mdb> dd p(5, 8, 13) Valid? browse 2 @@ -31,14 +31,14 @@ Valid? yes Found incorrect contour: p(5, 8, 13) Is this a bug? yes - E3: C2 3 EXIT pred output_term_dep.p/3-0 (det) + E3: C2 EXIT pred output_term_dep.p/3-0 (det) mdb> continue 5 8 13 - E4: C3 3 CALL pred output_term_dep.q/1-0 (det) + E4: C3 CALL pred output_term_dep.q/1-0 (det) mdb> finish - E5: C3 3 EXIT pred output_term_dep.q/1-0 (det) + E5: C3 EXIT pred output_term_dep.q/1-0 (det) mdb> dd q([[1, ...], [], [99]]) Valid? browse 1 @@ -52,12 +52,12 @@ Valid? yes Found incorrect contour: q([[1, ...], [], [99]]) Is this a bug? yes - E5: C3 3 EXIT pred output_term_dep.q/1-0 (det) + E5: C3 EXIT pred output_term_dep.q/1-0 (det) mdb> continue [[1, 2, 3], [], [99]] - E6: C4 3 CALL pred output_term_dep.r/2-0 (det) + E6: C4 CALL pred output_term_dep.r/2-0 (det) mdb> finish - E7: C4 3 EXIT pred output_term_dep.r/2-0 (det) + E7: C4 EXIT pred output_term_dep.r/2-0 (det) mdb> dd r(1, 999) Valid? browse 2 @@ -65,12 +65,12 @@ browser> mark Found incorrect contour: r(1, 999) Is this a bug? yes - E7: C4 3 EXIT pred output_term_dep.r/2-0 (det) + E7: C4 EXIT pred output_term_dep.r/2-0 (det) mdb> continue 999 - E8: C5 3 CALL pred output_term_dep.r/2-0 (det) + E8: C5 CALL pred output_term_dep.r/2-0 (det) mdb> finish - E9: C5 3 EXIT pred output_term_dep.r/2-0 (det) + E9: C5 EXIT pred output_term_dep.r/2-0 (det) mdb> dd r(2, 43) Valid? browse 2 @@ -83,12 +83,12 @@ Complete? yes Found incorrect contour: r(2, 43) Is this a bug? yes - E9: C5 3 EXIT pred output_term_dep.r/2-0 (det) + E9: C5 EXIT pred output_term_dep.r/2-0 (det) mdb> continue 43 - E10: C6 3 CALL pred output_term_dep.r/2-0 (det) + E10: C6 CALL pred output_term_dep.r/2-0 (det) mdb> finish - E11: C6 3 EXIT pred output_term_dep.r/2-0 (det) + E11: C6 EXIT pred output_term_dep.r/2-0 (det) mdb> dd r(3, 57) Valid? browse 2 @@ -102,12 +102,12 @@ Valid? yes Found incorrect contour: r(3, 57) Is this a bug? yes - E11: C6 3 EXIT pred output_term_dep.r/2-0 (det) + E11: C6 EXIT pred output_term_dep.r/2-0 (det) mdb> continue 57 - E12: C7 3 CALL pred output_term_dep.r/2-0 (det) + E12: C7 CALL pred output_term_dep.r/2-0 (det) mdb> finish - E13: C7 3 EXIT pred output_term_dep.r/2-0 (det) + E13: C7 EXIT pred output_term_dep.r/2-0 (det) mdb> dd r(4, -1) Valid? browse 2 @@ -120,12 +120,12 @@ Complete? yes Found incorrect contour: r(4, -1) Is this a bug? yes - E13: C7 3 EXIT pred output_term_dep.r/2-0 (det) + E13: C7 EXIT pred output_term_dep.r/2-0 (det) mdb> continue -1 - E14: C8 3 CALL pred output_term_dep.s/3-0 (nondet) + E14: C8 CALL pred output_term_dep.s/3-0 (nondet) mdb> finish - E15: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E15: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> dd s(1, 7, 7) Valid? browse 2 @@ -133,11 +133,11 @@ browser> mark sa(7) Valid? abort Diagnosis aborted. - E15: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E15: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> continue - E16: C8 3 REDO pred output_term_dep.s/3-0 (nondet) + E16: C8 REDO pred output_term_dep.s/3-0 (nondet) mdb> finish - E17: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E17: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> dd s(1, 7, 155) Valid? browse 3 @@ -145,11 +145,11 @@ browser> mark sc(155) Valid? abort Diagnosis aborted. - E17: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E17: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> continue - E18: C8 3 REDO pred output_term_dep.s/3-0 (nondet) + E18: C8 REDO pred output_term_dep.s/3-0 (nondet) mdb> finish - E19: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E19: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> dd s(1, 38, 7) Valid? browse 3 @@ -157,11 +157,11 @@ browser> mark sa(7) Valid? abort Diagnosis aborted. - E19: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E19: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> continue - E20: C8 3 REDO pred output_term_dep.s/3-0 (nondet) + E20: C8 REDO pred output_term_dep.s/3-0 (nondet) mdb> finish - E21: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E21: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> dd s(1, 38, 155) Valid? browse 3 @@ -169,16 +169,16 @@ browser> mark sc(155) Valid? abort Diagnosis aborted. - E21: C8 3 EXIT pred output_term_dep.s/3-0 (nondet) + E21: C8 EXIT pred output_term_dep.s/3-0 (nondet) mdb> continue - E22: C8 3 REDO pred output_term_dep.s/3-0 (nondet) + E22: C8 REDO pred output_term_dep.s/3-0 (nondet) mdb> finish - E23: C8 3 FAIL pred output_term_dep.s/3-0 (nondet) + E23: C8 FAIL pred output_term_dep.s/3-0 (nondet) mdb> continue no - E24: C9 3 CALL pred output_term_dep.s/3-0 (nondet) + E24: C9 CALL pred output_term_dep.s/3-0 (nondet) mdb> finish - E25: C9 3 EXIT pred output_term_dep.s/3-0 (nondet) + E25: C9 EXIT pred output_term_dep.s/3-0 (nondet) mdb> dd s(2, 7, 38) Valid? browse 3 @@ -188,13 +188,13 @@ Valid? no Found incorrect contour: sb(38) Is this a bug? yes - E26: C10 4 EXIT pred output_term_dep.sb/1-0 (det) + E26: C10 EXIT pred output_term_dep.sb/1-0 (det) mdb> continue - E25: C9 3 EXIT pred output_term_dep.s/3-0 (nondet) + E25: C9 EXIT pred output_term_dep.s/3-0 (nondet) mdb> continue - E27: C9 3 REDO pred output_term_dep.s/3-0 (nondet) + E27: C9 REDO pred output_term_dep.s/3-0 (nondet) mdb> finish - E28: C9 3 EXIT pred output_term_dep.s/3-0 (nondet) + E28: C9 EXIT pred output_term_dep.s/3-0 (nondet) mdb> dd s(2, 38, 155) Valid? browse 2 @@ -202,18 +202,18 @@ browser> mark Found incorrect contour: sb(38) Is this a bug? yes - E29: C11 4 EXIT pred output_term_dep.sb/1-0 (det) + E29: C11 EXIT pred output_term_dep.sb/1-0 (det) mdb> continue - E28: C9 3 EXIT pred output_term_dep.s/3-0 (nondet) + E28: C9 EXIT pred output_term_dep.s/3-0 (nondet) mdb> continue - E30: C9 3 REDO pred output_term_dep.s/3-0 (nondet) + E30: C9 REDO pred output_term_dep.s/3-0 (nondet) mdb> continue - E31: C9 3 FAIL pred output_term_dep.s/3-0 (nondet) + E31: C9 FAIL pred output_term_dep.s/3-0 (nondet) mdb> continue no - E32: C12 3 CALL pred output_term_dep.t/2-0 (semidet) + E32: C12 CALL pred output_term_dep.t/2-0 (semidet) mdb> finish - E33: C12 3 EXIT pred output_term_dep.t/2-0 (semidet) + E33: C12 EXIT pred output_term_dep.t/2-0 (semidet) mdb> dd t(1, 77) Valid? browse 2 @@ -229,6 +229,6 @@ Complete? yes Found incorrect contour: t(1, 77) Is this a bug? yes - E33: C12 3 EXIT pred output_term_dep.t/2-0 (semidet) + E33: C12 EXIT pred output_term_dep.t/2-0 (semidet) mdb> continue 77 diff --git a/tests/debugger/declarative/propositional.exp b/tests/debugger/declarative/propositional.exp index afdcf281c..8c1f3339d 100644 --- a/tests/debugger/declarative/propositional.exp +++ b/tests/debugger/declarative/propositional.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred propositional.main/2-0 (det) propositional.m:13 + E1: C1 CALL pred propositional.main/2-0 (det) propositional.m:13 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,9 +7,9 @@ mdb> break a mdb> break b 1: + stop interface pred propositional.b/0-0 (semidet) mdb> continue - E2: C2 2 CALL pred propositional.a/0-0 (semidet) propositional.m:27 (propositional.m:10) + E2: C2 CALL pred propositional.a/0-0 (semidet) propositional.m:27 (propositional.m:10) mdb> finish - E3: C2 2 EXIT pred propositional.a/0-0 (semidet) propositional.m:27 (propositional.m:10) + E3: C2 EXIT pred propositional.a/0-0 (semidet) propositional.m:27 (propositional.m:10) mdb> dd a Valid? no @@ -18,11 +18,11 @@ Valid? yes Found incorrect contour: a Is this a bug? yes - E3: C2 2 EXIT pred propositional.a/0-0 (semidet) propositional.m:27 (propositional.m:10) + E3: C2 EXIT pred propositional.a/0-0 (semidet) propositional.m:27 (propositional.m:10) mdb> continue - E4: C3 2 CALL pred propositional.b/0-0 (semidet) propositional.m:29 (propositional.m:10) + E4: C3 CALL pred propositional.b/0-0 (semidet) propositional.m:29 (propositional.m:10) mdb> finish - E5: C3 2 EXIT pred propositional.b/0-0 (semidet) propositional.m:29 (propositional.m:10) + E5: C3 EXIT pred propositional.b/0-0 (semidet) propositional.m:29 (propositional.m:10) mdb> dd b Valid? no @@ -33,8 +33,8 @@ Valid? yes Found incorrect contour: f Is this a bug? yes - E6: C4 3 EXIT pred propositional.f/0-0 (semidet) propositional.m:35 (propositional.m:29) + E6: C4 EXIT pred propositional.f/0-0 (semidet) propositional.m:35 (propositional.m:29) mdb> continue - E5: C3 2 EXIT pred propositional.b/0-0 (semidet) propositional.m:29 (propositional.m:10) + E5: C3 EXIT pred propositional.b/0-0 (semidet) propositional.m:29 (propositional.m:10) mdb> continue yes diff --git a/tests/debugger/declarative/remember_modes.exp b/tests/debugger/declarative/remember_modes.exp index b4844cfbc..3e96737c8 100644 --- a/tests/debugger/declarative/remember_modes.exp +++ b/tests/debugger/declarative/remember_modes.exp @@ -1,13 +1,13 @@ - E1: C1 1 CALL pred remember_modes.main/2-0 (det) remember_modes.m:37 + E1: C1 CALL pred remember_modes.main/2-0 (det) remember_modes.m:37 mdb> Contexts will not be printed. mdb> mdb> echo on Command echo enabled. mdb> break q 0: + stop interface pred remember_modes.q/5-0 (semidet) mdb> continue - E2: C2 2 CALL pred remember_modes.q/5-0 (semidet) + E2: C2 CALL pred remember_modes.q/5-0 (semidet) mdb> finish - E3: C2 2 EXIT pred remember_modes.q/5-0 (semidet) + E3: C2 EXIT pred remember_modes.q/5-0 (semidet) mdb> dd q(1, 1, 2, 1, 2) Valid? no @@ -16,7 +16,7 @@ Valid? yes Found incorrect contour: q(1, 1, 2, 1, 2) Is this a bug? yes - E3: C2 2 EXIT pred remember_modes.q/5-0 (semidet) + E3: C2 EXIT pred remember_modes.q/5-0 (semidet) mdb> continue 1 2 diff --git a/tests/debugger/declarative/special_term_dep.exp b/tests/debugger/declarative/special_term_dep.exp index 29041f92d..707e9981a 100644 --- a/tests/debugger/declarative/special_term_dep.exp +++ b/tests/debugger/declarative/special_term_dep.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred special_term_dep.main/2-0 (det) special_term_dep.m:13 + E1: C1 CALL pred special_term_dep.main/2-0 (det) special_term_dep.m:13 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,9 +7,9 @@ mdb> break p mdb> break q 1: + stop interface pred special_term_dep.q/2-0 (semidet) mdb> continue - E2: C2 3 CALL pred special_term_dep.p/1-0 (det) special_term_dep.m:29 (special_term_dep.m:22) + E2: C2 CALL pred special_term_dep.p/1-0 (det) special_term_dep.m:29 (special_term_dep.m:22) mdb> finish - E3: C2 3 EXIT pred special_term_dep.p/1-0 (det) special_term_dep.m:29 (special_term_dep.m:22) + E3: C2 EXIT pred special_term_dep.p/1-0 (det) special_term_dep.m:29 (special_term_dep.m:22) mdb> dd p([2, 3]) Valid? browse 1 @@ -19,12 +19,12 @@ Valid? yes Found incorrect contour: p([2, 3]) Is this a bug? yes - E3: C2 3 EXIT pred special_term_dep.p/1-0 (det) special_term_dep.m:29 (special_term_dep.m:22) + E3: C2 EXIT pred special_term_dep.p/1-0 (det) special_term_dep.m:29 (special_term_dep.m:22) mdb> continue [2, 3] - E4: C3 3 CALL pred special_term_dep.q/2-0 (semidet) special_term_dep.m:61 (special_term_dep.m:50) + E4: C3 CALL pred special_term_dep.q/2-0 (semidet) special_term_dep.m:61 (special_term_dep.m:50) mdb> finish - E5: C3 3 EXIT pred special_term_dep.q/2-0 (semidet) special_term_dep.m:61 (special_term_dep.m:50) + E5: C3 EXIT pred special_term_dep.q/2-0 (semidet) special_term_dep.m:61 (special_term_dep.m:50) mdb> dd q([1, 2], [3]) Valid? browse 2 @@ -37,6 +37,6 @@ Valid? yes Found incorrect contour: q([1, 2], [3]) Is this a bug? yes - E5: C3 3 EXIT pred special_term_dep.q/2-0 (semidet) special_term_dep.m:61 (special_term_dep.m:50) + E5: C3 EXIT pred special_term_dep.q/2-0 (semidet) special_term_dep.m:61 (special_term_dep.m:50) mdb> continue [3] diff --git a/tests/debugger/declarative/tabled_read_decl.exp b/tests/debugger/declarative/tabled_read_decl.exp index c8ffc7e33..bc3444988 100644 --- a/tests/debugger/declarative/tabled_read_decl.exp +++ b/tests/debugger/declarative/tabled_read_decl.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred tabled_read_decl.main/2-0 (det) tabled_read_decl.m:17 + E1: C1 CALL pred tabled_read_decl.main/2-0 (det) tabled_read_decl.m:17 mdb> echo on Command echo enabled. mdb> register --quiet @@ -10,9 +10,9 @@ I/O tabling started. mdb> break tabled_read_decl__test 0: + stop interface pred tabled_read_decl.test/4-0 (det) mdb> continue - E2: C2 3 CALL pred tabled_read_decl.test/4-0 (det) + E2: C2 CALL pred tabled_read_decl.test/4-0 (det) mdb> finish -n - E3: C2 3 EXIT pred tabled_read_decl.test/4-0 (det) + E3: C2 EXIT pred tabled_read_decl.test/4-0 (det) mdb> print test('<>', 1123, _, state('<>')) mdb> dd -a @@ -81,7 +81,7 @@ read_char_code('<>', 50) read_char_code('<>', 51) read_char_code('<>', 10) Is this a bug? yes - E3: C2 3 EXIT pred tabled_read_decl.test/4-0 (det) + E3: C2 EXIT pred tabled_read_decl.test/4-0 (det) mdb> c -n -S 1123 1456 diff --git a/tests/debugger/declarative/trust.exp b/tests/debugger/declarative/trust.exp index eef316e4e..1e8badd60 100644 --- a/tests/debugger/declarative/trust.exp +++ b/tests/debugger/declarative/trust.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred trust.main/2-0 (cc_multi) trust.m:13 + E1: C1 CALL pred trust.main/2-0 (cc_multi) trust.m:13 mdb> mdb> Contexts will not be printed. mdb> echo on Command echo enabled. @@ -60,16 +60,16 @@ Trusted Objects: mdb> untrust 99 mdb: no such trusted object mdb> step - E2: C2 2 CALL pred trust.dostuff/2-0 (cc_multi) + E2: C2 CALL pred trust.dostuff/2-0 (cc_multi) mdb> finish - E3: C2 2 EXIT pred trust.dostuff/2-0 (cc_multi) + E3: C2 EXIT pred trust.dostuff/2-0 (cc_multi) mdb> dd dostuff(w("aaabbb"), '=') Valid? n Found incorrect contour: dostuff(w("aaabbb"), '=') Is this a bug? y - E3: C2 2 EXIT pred trust.dostuff/2-0 (cc_multi) + E3: C2 EXIT pred trust.dostuff/2-0 (cc_multi) mdb> continue aaabbb '=' diff --git a/tests/debugger/exception_cmd.exp b/tests/debugger/exception_cmd.exp index a68bb1a57..fbfd848d7 100644 --- a/tests/debugger/exception_cmd.exp +++ b/tests/debugger/exception_cmd.exp @@ -1,8 +1,8 @@ - E1: C1 1 CALL pred exception_cmd.main/2-0 (det) exception_cmd.m:12 + E1: C1 CALL pred exception_cmd.main/2-0 (det) exception_cmd.m:12 mdb> echo on Command echo enabled. mdb> exception - E2: C2 2 EXCP pred exception_cmd.test/2-0 (det) + E2: C2 EXCP pred exception_cmd.test/2-0 (det) mdb> print * X (arg 1) 42 mdb> continue diff --git a/tests/debugger/exception_cmd.exp2 b/tests/debugger/exception_cmd.exp2 index f98cf8194..88b71cd57 100644 --- a/tests/debugger/exception_cmd.exp2 +++ b/tests/debugger/exception_cmd.exp2 @@ -1,8 +1,8 @@ - E1: C1 1 CALL pred exception_cmd.main/2-0 (det) exception_cmd.m:12 + E1: C1 CALL pred exception_cmd.main/2-0 (det) exception_cmd.m:12 mdb> echo on Command echo enabled. mdb> exception - E2: C2 3 EXCP pred require.error/1-0 (erroneous) + E2: C2 EXCP pred require.error/1-0 (erroneous) mdb> print * Message (arg 1) "oops" mdb> continue diff --git a/tests/debugger/exception_cmd.exp3 b/tests/debugger/exception_cmd.exp3 index 75b518b5c..60d9968b6 100644 --- a/tests/debugger/exception_cmd.exp3 +++ b/tests/debugger/exception_cmd.exp3 @@ -1,8 +1,8 @@ - E1: C1 1 CALL pred exception_cmd.main/2-0 (det) exception_cmd.m:12 + E1: C1 CALL pred exception_cmd.main/2-0 (det) exception_cmd.m:12 mdb> echo on Command echo enabled. mdb> exception - E2: C2 5 EXCP pred exception.throw_impl/1-0 (erroneous) + E2: C2 EXCP pred exception.throw_impl/1-0 (erroneous) mdb> print * Univ (arg 1) univ_cons(software_error("oops")) mdb> continue diff --git a/tests/debugger/exception_value.exp b/tests/debugger/exception_value.exp index 96206ad88..66be8161c 100644 --- a/tests/debugger/exception_value.exp +++ b/tests/debugger/exception_value.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred exception_value.main/2-0 (cc_multi) exception_value.m:12 + E1: C1 CALL pred exception_value.main/2-0 (cc_multi) exception_value.m:12 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,9 +7,9 @@ mdb> break p mdb> break q 1: + stop interface pred exception_value.q/1-0 (det) mdb> continue - E2: C2 3 CALL pred exception_value.p/1-0 (det) exception_value.m:30 + E2: C2 CALL pred exception_value.p/1-0 (det) exception_value.m:30 mdb> finish - E3: C2 3 EXCP pred exception_value.p/1-0 (det) + E3: C2 EXCP pred exception_value.p/1-0 (det) mdb> print exception "p exception" mdb> continue @@ -17,9 +17,9 @@ mdb: warning: reached unknown label This may result in some exception events being omitted from the trace. exception(univ_cons("p exception")) - E4: C3 3 CALL pred exception_value.q/1-0 (det) exception_value.m:35 + E4: C3 CALL pred exception_value.q/1-0 (det) exception_value.m:35 mdb> finish - E5: C3 3 EXCP pred exception_value.q/1-0 (det) + E5: C3 EXCP pred exception_value.q/1-0 (det) mdb> browse exception browser> set depth 9 browser> set size 99 diff --git a/tests/debugger/exception_value.exp2 b/tests/debugger/exception_value.exp2 index 84868036e..080f09105 100644 --- a/tests/debugger/exception_value.exp2 +++ b/tests/debugger/exception_value.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred exception_value.main/2-0 (cc_multi) exception_value.m:12 + E1: C1 CALL pred exception_value.main/2-0 (cc_multi) exception_value.m:12 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,16 +7,16 @@ mdb> break p mdb> break q 1: + stop interface pred exception_value.q/1-0 (det) mdb> continue - E2: C2 4 CALL pred exception_value.p/1-0 (det) exception_value.m:30 (exception.m:NNNN) + E2: C2 CALL pred exception_value.p/1-0 (det) exception_value.m:30 (exception.m:NNNN) mdb> finish - E3: C2 4 EXCP pred exception_value.p/1-0 (det) + E3: C2 EXCP pred exception_value.p/1-0 (det) mdb> print exception "p exception" mdb> continue exception(univ_cons("p exception")) - E4: C3 4 CALL pred exception_value.q/1-0 (det) exception_value.m:35 (exception.m:NNNN) + E4: C3 CALL pred exception_value.q/1-0 (det) exception_value.m:35 (exception.m:NNNN) mdb> finish - E5: C3 4 EXCP pred exception_value.q/1-0 (det) + E5: C3 EXCP pred exception_value.q/1-0 (det) mdb> browse exception browser> set depth 9 browser> set size 99 diff --git a/tests/debugger/exception_vars.exp b/tests/debugger/exception_vars.exp index e8daff376..389e537e1 100644 --- a/tests/debugger/exception_vars.exp +++ b/tests/debugger/exception_vars.exp @@ -1,10 +1,10 @@ - E1: C1 1 CALL pred exception_vars.main/2-0 (det) exception_vars.m:12 + E1: C1 CALL pred exception_vars.main/2-0 (det) exception_vars.m:12 mdb> echo on Command echo enabled. mdb> goto 2 - E2: C2 2 CALL pred exception_vars.test/2-0 (det) exception_vars.m:19 (exception_vars.m:12) + E2: C2 CALL pred exception_vars.test/2-0 (det) exception_vars.m:19 (exception_vars.m:12) mdb> finish - E3: C2 2 EXCP pred exception_vars.test/2-0 (det) + E3: C2 EXCP pred exception_vars.test/2-0 (det) mdb> print * X (arg 1) 42 mdb> continue diff --git a/tests/debugger/existential_type_classes.exp b/tests/debugger/existential_type_classes.exp index 2d95199d2..a33560457 100644 --- a/tests/debugger/existential_type_classes.exp +++ b/tests/debugger/existential_type_classes.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:49 + E1: C1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:49 mdb> echo on Command echo enabled. mdb> alias P print * @@ -9,192 +9,192 @@ Contexts will be printed on the previous line. mdb> break -i do_foo 0: + stop interface pred existential_type_classes.do_foo/2-0 (det) mdb> continue -a - E2: C2 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51) + E2: C2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 42 mdb> - E3: C3 3 CALL (from existential_type_classes.m:68) + E3: C3 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 42 mdb> - E4: C4 4 CALL existential_type_classes.m:21 + E4: C4 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 42 mdb> continue -a - E5: C5 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E5: C5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E6: C5 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E6: C5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E7: C4 4 EXIT existential_type_classes.m:21 + E7: C4 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E8: C3 3 EXIT (from existential_type_classes.m:68) + E8: C3 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E9: C2 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51) + E9: C2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 42 N (arg 2) 84 mdb> continue -a - E10: C6 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:52) + E10: C6 CALL existential_type_classes.m:68 (from existential_type_classes.m:52) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) "blah" mdb> - E11: C7 3 CALL (from existential_type_classes.m:68) + E11: C7 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 "blah" mdb> - E12: C8 4 CALL existential_type_classes.m:25 + E12: C8 CALL existential_type_classes.m:25 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 "blah" mdb> continue -a - E13: C9 5 CALL existential_type_classes.m:47 (from existential_type_classes.m:25) + E13: C9 CALL existential_type_classes.m:47 (from existential_type_classes.m:25) pred existential_type_classes.string_foo/2-0 (det) - E14: C9 5 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25) + E14: C9 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25) pred existential_type_classes.string_foo/2-0 (det) - E15: C8 4 EXIT existential_type_classes.m:25 + E15: C8 EXIT existential_type_classes.m:25 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det) - E16: C7 3 EXIT (from existential_type_classes.m:68) + E16: C7 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E17: C6 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52) + E17: C6 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) "blah" N (arg 2) 4 mdb> continue -a - E18: C10 2 CALL existential_type_classes.m:74 (from existential_type_classes.m:53) + E18: C10 CALL existential_type_classes.m:74 (from existential_type_classes.m:53) func existential_type_classes.my_exist_t/0-0 (det) - E19: C10 2 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53) + E19: C10 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53) func existential_type_classes.my_exist_t/0-0 (det) - E20: C11 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:53) + E20: C11 CALL existential_type_classes.m:68 (from existential_type_classes.m:53) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 mdb> - E21: C12 3 CALL (from existential_type_classes.m:68) + E21: C12 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 43 mdb> - E22: C13 4 CALL existential_type_classes.m:21 + E22: C13 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 43 mdb> continue -a - E23: C14 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E23: C14 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E24: C14 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E24: C14 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E25: C13 4 EXIT existential_type_classes.m:21 + E25: C13 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E26: C12 3 EXIT (from existential_type_classes.m:68) + E26: C12 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E27: C11 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53) + E27: C11 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 N (arg 2) 86 mdb> continue -a - E28: C15 2 CALL existential_type_classes.m:70 (from existential_type_classes.m:54) + E28: C15 CALL existential_type_classes.m:70 (from existential_type_classes.m:54) func existential_type_classes.call_my_exist_t/0-0 (det) - E29: C16 3 CALL existential_type_classes.m:74 (from existential_type_classes.m:70) + E29: C16 CALL existential_type_classes.m:74 (from existential_type_classes.m:70) func existential_type_classes.my_exist_t/0-0 (det) - E30: C16 3 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70) + E30: C16 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70) func existential_type_classes.my_exist_t/0-0 (det) - E31: C15 2 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54) + E31: C15 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54) func existential_type_classes.call_my_exist_t/0-0 (det) - E32: C17 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:54) + E32: C17 CALL existential_type_classes.m:68 (from existential_type_classes.m:54) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 mdb> - E33: C18 3 CALL (from existential_type_classes.m:68) + E33: C18 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 43 mdb> - E34: C19 4 CALL existential_type_classes.m:21 + E34: C19 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 43 mdb> continue -a - E35: C20 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E35: C20 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E36: C20 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E36: C20 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E37: C19 4 EXIT existential_type_classes.m:21 + E37: C19 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E38: C18 3 EXIT (from existential_type_classes.m:68) + E38: C18 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E39: C17 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54) + E39: C17 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 N (arg 2) 86 mdb> continue -a - E40: C21 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:55) + E40: C21 CALL existential_type_classes.m:82 (from existential_type_classes.m:55) func existential_type_classes.my_univ/1-0 (det) - E41: C21 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55) + E41: C21 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55) func existential_type_classes.my_univ/1-0 (det) - E42: C22 2 CALL existential_type_classes.m:76 (from existential_type_classes.m:55) + E42: C22 CALL existential_type_classes.m:76 (from existential_type_classes.m:55) func existential_type_classes.my_univ_value/1-0 (det) - E43: C22 2 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55) + E43: C22 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55) func existential_type_classes.my_univ_value/1-0 (det) - E44: C23 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:55) + E44: C23 CALL existential_type_classes.m:68 (from existential_type_classes.m:55) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 45 mdb> - E45: C24 3 CALL (from existential_type_classes.m:68) + E45: C24 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 45 mdb> - E46: C25 4 CALL existential_type_classes.m:21 + E46: C25 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 45 mdb> continue -a - E47: C26 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E47: C26 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E48: C26 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E48: C26 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E49: C25 4 EXIT existential_type_classes.m:21 + E49: C25 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E50: C24 3 EXIT (from existential_type_classes.m:68) + E50: C24 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E51: C23 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55) + E51: C23 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 45 N (arg 2) 90 mdb> - E52: C27 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:56) + E52: C27 CALL existential_type_classes.m:82 (from existential_type_classes.m:56) func existential_type_classes.my_univ/1-0 (det) mdb> - E53: C27 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56) + E53: C27 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56) func existential_type_classes.my_univ/1-0 (det) mdb> - E54: C28 2 CALL existential_type_classes.m:72 (from existential_type_classes.m:56) + E54: C28 CALL existential_type_classes.m:72 (from existential_type_classes.m:56) func existential_type_classes.call_my_univ_value/1-0 (det) mdb> P Univ (arg 1) my_univ('<>') mdb> - E55: C29 3 CALL existential_type_classes.m:76 (from existential_type_classes.m:72) + E55: C29 CALL existential_type_classes.m:76 (from existential_type_classes.m:72) func existential_type_classes.my_univ_value/1-0 (det) mdb> P HeadVar__1 my_univ('<>') mdb> continue -a - E56: C29 3 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72) + E56: C29 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72) func existential_type_classes.my_univ_value/1-0 (det) - E57: C28 2 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56) + E57: C28 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56) func existential_type_classes.call_my_univ_value/1-0 (det) - E58: C30 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:56) + E58: C30 CALL existential_type_classes.m:68 (from existential_type_classes.m:56) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) "something" diff --git a/tests/debugger/existential_type_classes.exp2 b/tests/debugger/existential_type_classes.exp2 index 5dadcea03..072dcdda5 100644 --- a/tests/debugger/existential_type_classes.exp2 +++ b/tests/debugger/existential_type_classes.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:49 + E1: C1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:49 mdb> echo on Command echo enabled. mdb> alias P print * @@ -9,212 +9,212 @@ Contexts will be printed on the previous line. mdb> break -i do_foo 0: + stop interface pred existential_type_classes.do_foo/2-0 (det) mdb> continue -a - E2: C2 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51) + E2: C2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 42 mdb> - E3: C3 3 CALL (from existential_type_classes.m:68) + E3: C3 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 42 mdb> - E4: C4 4 CALL existential_type_classes.m:21 + E4: C4 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 42 mdb> continue -a - E5: C5 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E5: C5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E6: C6 6 CALL int.m:NNNN (from existential_type_classes.m:44) + E6: C6 CALL int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E7: C6 6 EXIT int.m:NNNN (from existential_type_classes.m:44) + E7: C6 EXIT int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E8: C5 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E8: C5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E9: C4 4 EXIT existential_type_classes.m:21 + E9: C4 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E10: C3 3 EXIT (from existential_type_classes.m:68) + E10: C3 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E11: C2 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51) + E11: C2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 42 N (arg 2) 84 mdb> continue -a - E12: C7 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:52) + E12: C7 CALL existential_type_classes.m:68 (from existential_type_classes.m:52) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) "blah" mdb> - E13: C8 3 CALL (from existential_type_classes.m:68) + E13: C8 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 "blah" mdb> - E14: C9 4 CALL existential_type_classes.m:25 + E14: C9 CALL existential_type_classes.m:25 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 "blah" mdb> continue -a - E15: C10 5 CALL existential_type_classes.m:47 (from existential_type_classes.m:25) + E15: C10 CALL existential_type_classes.m:47 (from existential_type_classes.m:25) pred existential_type_classes.string_foo/2-0 (det) - E16: C11 6 CALL string.m:NNNN (from existential_type_classes.m:47) + E16: C11 CALL string.m:NNNN (from existential_type_classes.m:47) pred string.length/2-0 (det) - E17: C11 6 EXIT string.m:NNNN (from existential_type_classes.m:47) + E17: C11 EXIT string.m:NNNN (from existential_type_classes.m:47) pred string.length/2-0 (det) - E18: C10 5 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25) + E18: C10 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25) pred existential_type_classes.string_foo/2-0 (det) - E19: C9 4 EXIT existential_type_classes.m:25 + E19: C9 EXIT existential_type_classes.m:25 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det) - E20: C8 3 EXIT (from existential_type_classes.m:68) + E20: C8 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E21: C7 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52) + E21: C7 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) "blah" N (arg 2) 4 mdb> continue -a - E22: C12 2 CALL existential_type_classes.m:74 (from existential_type_classes.m:53) + E22: C12 CALL existential_type_classes.m:74 (from existential_type_classes.m:53) func existential_type_classes.my_exist_t/0-0 (det) - E23: C12 2 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53) + E23: C12 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53) func existential_type_classes.my_exist_t/0-0 (det) - E24: C13 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:53) + E24: C13 CALL existential_type_classes.m:68 (from existential_type_classes.m:53) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 mdb> - E25: C14 3 CALL (from existential_type_classes.m:68) + E25: C14 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 43 mdb> - E26: C15 4 CALL existential_type_classes.m:21 + E26: C15 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 43 mdb> continue -a - E27: C16 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E27: C16 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E28: C17 6 CALL int.m:NNNN (from existential_type_classes.m:44) + E28: C17 CALL int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E29: C17 6 EXIT int.m:NNNN (from existential_type_classes.m:44) + E29: C17 EXIT int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E30: C16 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E30: C16 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E31: C15 4 EXIT existential_type_classes.m:21 + E31: C15 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E32: C14 3 EXIT (from existential_type_classes.m:68) + E32: C14 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E33: C13 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53) + E33: C13 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 N (arg 2) 86 mdb> continue -a - E34: C18 2 CALL existential_type_classes.m:70 (from existential_type_classes.m:54) + E34: C18 CALL existential_type_classes.m:70 (from existential_type_classes.m:54) func existential_type_classes.call_my_exist_t/0-0 (det) - E35: C19 3 CALL existential_type_classes.m:74 (from existential_type_classes.m:70) + E35: C19 CALL existential_type_classes.m:74 (from existential_type_classes.m:70) func existential_type_classes.my_exist_t/0-0 (det) - E36: C19 3 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70) + E36: C19 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70) func existential_type_classes.my_exist_t/0-0 (det) - E37: C18 2 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54) + E37: C18 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54) func existential_type_classes.call_my_exist_t/0-0 (det) - E38: C20 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:54) + E38: C20 CALL existential_type_classes.m:68 (from existential_type_classes.m:54) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 mdb> - E39: C21 3 CALL (from existential_type_classes.m:68) + E39: C21 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 43 mdb> - E40: C22 4 CALL existential_type_classes.m:21 + E40: C22 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 43 mdb> continue -a - E41: C23 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E41: C23 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E42: C24 6 CALL int.m:NNNN (from existential_type_classes.m:44) + E42: C24 CALL int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E43: C24 6 EXIT int.m:NNNN (from existential_type_classes.m:44) + E43: C24 EXIT int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E44: C23 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E44: C23 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E45: C22 4 EXIT existential_type_classes.m:21 + E45: C22 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E46: C21 3 EXIT (from existential_type_classes.m:68) + E46: C21 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E47: C20 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54) + E47: C20 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 43 N (arg 2) 86 mdb> continue -a - E48: C25 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:55) + E48: C25 CALL existential_type_classes.m:82 (from existential_type_classes.m:55) func existential_type_classes.my_univ/1-0 (det) - E49: C25 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55) + E49: C25 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55) func existential_type_classes.my_univ/1-0 (det) - E50: C26 2 CALL existential_type_classes.m:76 (from existential_type_classes.m:55) + E50: C26 CALL existential_type_classes.m:76 (from existential_type_classes.m:55) func existential_type_classes.my_univ_value/1-0 (det) - E51: C26 2 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55) + E51: C26 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55) func existential_type_classes.my_univ_value/1-0 (det) - E52: C27 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:55) + E52: C27 CALL existential_type_classes.m:68 (from existential_type_classes.m:55) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 45 mdb> - E53: C28 3 CALL (from existential_type_classes.m:68) + E53: C28 CALL (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) mdb> P HeadVar__1 45 mdb> - E54: C29 4 CALL existential_type_classes.m:21 + E54: C29 CALL existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) mdb> P HeadVar__1 45 mdb> continue -a - E55: C30 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) + E55: C30 CALL existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E56: C31 6 CALL int.m:NNNN (from existential_type_classes.m:44) + E56: C31 CALL int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E57: C31 6 EXIT int.m:NNNN (from existential_type_classes.m:44) + E57: C31 EXIT int.m:NNNN (from existential_type_classes.m:44) func int.*/2-0 (det) - E58: C30 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) + E58: C30 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21) pred existential_type_classes.int_foo/2-0 (det) - E59: C29 4 EXIT existential_type_classes.m:21 + E59: C29 EXIT existential_type_classes.m:21 pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det) - E60: C28 3 EXIT (from existential_type_classes.m:68) + E60: C28 EXIT (from existential_type_classes.m:68) pred existential_type_classes.foo/2-0 (det) - E61: C27 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55) + E61: C27 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) 45 N (arg 2) 90 mdb> - E62: C32 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:56) + E62: C32 CALL existential_type_classes.m:82 (from existential_type_classes.m:56) func existential_type_classes.my_univ/1-0 (det) mdb> - E63: C32 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56) + E63: C32 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56) func existential_type_classes.my_univ/1-0 (det) mdb> - E64: C33 2 CALL existential_type_classes.m:72 (from existential_type_classes.m:56) + E64: C33 CALL existential_type_classes.m:72 (from existential_type_classes.m:56) func existential_type_classes.call_my_univ_value/1-0 (det) mdb> P Univ (arg 1) my_univ('<>') mdb> - E65: C34 3 CALL existential_type_classes.m:76 (from existential_type_classes.m:72) + E65: C34 CALL existential_type_classes.m:76 (from existential_type_classes.m:72) func existential_type_classes.my_univ_value/1-0 (det) mdb> P HeadVar__1 my_univ('<>') mdb> continue -a - E66: C34 3 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72) + E66: C34 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72) func existential_type_classes.my_univ_value/1-0 (det) - E67: C33 2 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56) + E67: C33 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56) func existential_type_classes.call_my_univ_value/1-0 (det) - E68: C35 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:56) + E68: C35 CALL existential_type_classes.m:68 (from existential_type_classes.m:56) pred existential_type_classes.do_foo/2-0 (det) mdb> P X (arg 1) "something" diff --git a/tests/debugger/exported_eqv_type.exp b/tests/debugger/exported_eqv_type.exp index 5d3aca92b..9ee5964b3 100644 --- a/tests/debugger/exported_eqv_type.exp +++ b/tests/debugger/exported_eqv_type.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred exported_eqv_type.main/2-0 (det) exported_eqv_type.m:18 + E1: C1 CALL pred exported_eqv_type.main/2-0 (det) exported_eqv_type.m:18 mdb> echo on Command echo enabled. mdb> context none @@ -7,17 +7,17 @@ mdb> register --quiet mdb> break p 0: + stop interface func exported_eqv_type.p/2-0 (det) mdb> continue - E2: C2 2 CALL func exported_eqv_type.p/2-0 (det) + E2: C2 CALL func exported_eqv_type.p/2-0 (det) mdb> finish - E3: C2 2 EXIT func exported_eqv_type.p/2-0 (det) + E3: C2 EXIT func exported_eqv_type.p/2-0 (det) mdb> print * Num (arg 1) 2 Item (arg 2) 55 Dups (arg 3) [55, 55] mdb> continue - E4: C3 2 CALL func exported_eqv_type.p/2-0 (det) + E4: C3 CALL func exported_eqv_type.p/2-0 (det) mdb> finish - E5: C3 2 EXIT func exported_eqv_type.p/2-0 (det) + E5: C3 EXIT func exported_eqv_type.p/2-0 (det) mdb> print * Num (arg 1) 3 Item (arg 2) "a" diff --git a/tests/debugger/higher_order.exp b/tests/debugger/higher_order.exp index 7c48643e8..c477ace32 100644 --- a/tests/debugger/higher_order.exp +++ b/tests/debugger/higher_order.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred higher_order.main/2-0 (det) higher_order.m:12 + E1: C1 CALL pred higher_order.main/2-0 (det) higher_order.m:12 mdb> echo on Command echo enabled. mdb> context none @@ -7,56 +7,56 @@ mdb> set size 100 mdb> set depth 100 mdb> set format flat mdb> step - E2: C2 2 CALL pred higher_order.domap/3-0 (det) + E2: C2 CALL pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 float_add2(3.00000000000000) HeadVar__2 [1.00000000000000, 2.00000000000000, 3.00000000000000, 4.00000000000000, 5.00000000000000] mdb> finish - E3: C2 2 EXIT pred higher_order.domap/3-0 (det) + E3: C2 EXIT pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 float_add2(3.00000000000000) HeadVar__2 [1.00000000000000, 2.00000000000000, 3.00000000000000, 4.00000000000000, 5.00000000000000] HeadVar__3 [4.00000000000000, 5.00000000000000, 6.00000000000000, 7.00000000000000, 8.00000000000000] mdb> step - E4: C3 2 CALL pred higher_order.domap/3-0 (det) + E4: C3 CALL pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 float_op3(4.00000000000000, 5.00000000000000) HeadVar__2 [1.00000000000000, 2.00000000000000, 3.00000000000000, 4.00000000000000, 5.00000000000000] mdb> finish - E5: C3 2 EXIT pred higher_order.domap/3-0 (det) + E5: C3 EXIT pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 float_op3(4.00000000000000, 5.00000000000000) HeadVar__2 [1.00000000000000, 2.00000000000000, 3.00000000000000, 4.00000000000000, 5.00000000000000] HeadVar__3 [9.00000000000000, 14.0000000000000, 19.0000000000000, 24.0000000000000, 29.0000000000000] mdb> step - E6: C4 2 CALL pred higher_order.domap/3-0 (det) + E6: C4 CALL pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 max(3) HeadVar__2 [1, 2, 3, 4, 5] mdb> finish - E7: C4 2 EXIT pred higher_order.domap/3-0 (det) + E7: C4 EXIT pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 max(3) HeadVar__2 [1, 2, 3, 4, 5] HeadVar__3 [3, 3, 3, 4, 5] mdb> step - E8: C5 2 CALL pred higher_order.domap/3-0 (det) + E8: C5 CALL pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 'IntroducedFrom__pred__main__21__1'([6]) HeadVar__2 [[1, 2], [3, 4, 5]] mdb> finish - E9: C5 2 EXIT pred higher_order.domap/3-0 (det) + E9: C5 EXIT pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 'IntroducedFrom__pred__main__21__1'([6]) HeadVar__2 [[1, 2], [3, 4, 5]] HeadVar__3 [[6, 1, 2], [6, 3, 4, 5]] mdb> step - E10: C6 2 CALL pred higher_order.domap/3-0 (det) + E10: C6 CALL pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 'IntroducedFrom__pred__main__22__2'(["a"]) HeadVar__2 [["one", "two"], ["three", "four", "five"]] mdb> finish - E11: C6 2 EXIT pred higher_order.domap/3-0 (det) + E11: C6 EXIT pred higher_order.domap/3-0 (det) mdb> print * HeadVar__1 'IntroducedFrom__pred__main__22__2'(["a"]) HeadVar__2 [["one", "two"], ["three", "four", "five"]] diff --git a/tests/debugger/interpreter.exp2 b/tests/debugger/interpreter.exp2 index 8ca21cd46..3ebab8b58 100644 --- a/tests/debugger/interpreter.exp2 +++ b/tests/debugger/interpreter.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred interpreter.main/2-0 (det) interpreter.m:34 + E1: C1 CALL pred interpreter.main/2-0 (det) interpreter.m:34 mdb> echo on Command echo enabled. mdb> context none @@ -9,7 +9,7 @@ mdb> b consult mdb> c Pure Prolog Interpreter. - E2: C2 3 CALL pred interpreter.consult/5-0 (det) + E2: C2 CALL pred interpreter.consult/5-0 (det) mdb> delete 0 0: E stop interface pred interpreter.consult/5-0 (det) mdb> vars @@ -24,11 +24,11 @@ mdb> b database_assert_clause 0: + stop interface pred interpreter.database_assert_clause/4-0 (det) mdb> c Consulting file `interpreter.m'... - E3: C3 6 CALL pred interpreter.database_assert_clause/4-0 (det) + E3: C3 CALL pred interpreter.database_assert_clause/4-0 (det) mdb> delete 0 0: E stop interface pred interpreter.database_assert_clause/4-0 (det) mdb> finish - E4: C3 6 EXIT pred interpreter.database_assert_clause/4-0 (det) + E4: C3 EXIT pred interpreter.database_assert_clause/4-0 (det) mdb> print * Database (arg 1) [] VarSet (arg 2) varset(var_supply(0), empty, empty) @@ -42,12 +42,12 @@ mdb> print * Term (arg 3) functor(atom(":-"), [functor(atom/1, [|]/2, context/2)], context("interpreter.m", 22)) HeadVar__4 [clause(varset(var_supply/1, empty, empty), functor(atom/1, [|]/2, context/2), functor(atom/1, [], context/2))] mdb> - E5: C4 6 CALL pred interpreter.consult_until_eof/4-0 (det) + E5: C4 CALL pred interpreter.consult_until_eof/4-0 (det) mdb> finish -n - E6: C4 6 EXIT pred interpreter.consult_until_eof/4-0 (det) + E6: C4 EXIT pred interpreter.consult_until_eof/4-0 (det) mdb> - E7: C5 5 EXIT pred interpreter.consult_until_eof_2/5-0 (det) + E7: C5 EXIT pred interpreter.consult_until_eof_2/5-0 (det) mdb> - E8: C6 4 EXIT pred interpreter.consult_until_eof/4-0 (det) + E8: C6 EXIT pred interpreter.consult_until_eof/4-0 (det) mdb> continue ?- \ No newline at end of file diff --git a/tests/debugger/lambda_expr.exp b/tests/debugger/lambda_expr.exp index 00893b2fa..3ee4c843a 100644 --- a/tests/debugger/lambda_expr.exp +++ b/tests/debugger/lambda_expr.exp @@ -1,11 +1,11 @@ - E1: C1 1 CALL pred lambda_expr.main/2-0 (det) lambda_expr.m:17 + E1: C1 CALL pred lambda_expr.main/2-0 (det) lambda_expr.m:17 mdb> echo on Command echo enabled. mdb> context none Contexts will not be printed. mdb> register --quiet mdb> step - E2: C2 2 CALL pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) + E2: C2 CALL pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) mdb> print IntroducedFrom__pred__main__18__1(1, _) mdb> up @@ -14,14 +14,14 @@ Ancestor level set to 1: mdb> print P P 'IntroducedFrom__pred__main__18__1' mdb> finish ; print - E3: C2 2 EXIT pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) + E3: C2 EXIT pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) IntroducedFrom__pred__main__18__1(1, 2) mdb> retry - E2: C2 2 CALL pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) + E2: C2 CALL pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) mdb> print IntroducedFrom__pred__main__18__1(1, _) mdb> finish - E3: C2 2 EXIT pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) + E3: C2 EXIT pred lambda_expr.IntroducedFrom__pred__main__18__1/2-0 (det) mdb> print IntroducedFrom__pred__main__18__1(1, 2) mdb> continue diff --git a/tests/debugger/loopcheck.exp3 b/tests/debugger/loopcheck.exp3 index a2315ca93..871817946 100644 --- a/tests/debugger/loopcheck.exp3 +++ b/tests/debugger/loopcheck.exp3 @@ -1,11 +1,10 @@ 1: 1 1 CALL pred loopcheck.main/2-0 (det) loopcheck.m:13 mdb> echo on Command echo enabled. +mdb> register --quiet mdb> context nextline Contexts will be printed on the next line. mdb> break loopcheck.main -Registering debuggable procedures... done. -There are 97 debuggable modules, with a total of 5317 procedures. 0: + stop interface pred loopcheck.main/2-0 (det) mdb> break loopcheck.loop 1: + stop interface pred loopcheck.loop/1-0 (det) diff --git a/tests/debugger/loopcheck.inp2 b/tests/debugger/loopcheck.inp2 index d434972ab..8a90efa0f 100644 --- a/tests/debugger/loopcheck.inp2 +++ b/tests/debugger/loopcheck.inp2 @@ -1,4 +1,5 @@ echo on +register --quiet context nextline break loopcheck.main break loopcheck.loop diff --git a/tests/debugger/nondet_stack.exp b/tests/debugger/nondet_stack.exp index a54e5501f..7384a5bc3 100644 --- a/tests/debugger/nondet_stack.exp +++ b/tests/debugger/nondet_stack.exp @@ -1,11 +1,11 @@ - E1: C1 1 CALL pred nondet_stack.main/2-0 (cc_multi) nondet_stack.m:NNNN + E1: C1 CALL pred nondet_stack.main/2-0 (cc_multi) nondet_stack.m:NNNN mdb> echo on Command echo enabled. mdb> context none Contexts will not be printed. mdb> register --quiet mdb> goto 22 - E2: C2 6 SWTC pred nondet_stack.qperm/2-0 (nondet) s2; + E2: C2 SWTC pred nondet_stack.qperm/2-0 (nondet) s2; mdb> nondet_stack 3 non 135: ordinary, 13 words redoip: unnamed label @@ -190,7 +190,7 @@ non 10: ordinary, 6 words succip: label wrapper_not_reached succfr: non 4 mdb> goto 39 - E3: C3 3 CALL pred nondet_stack.safe/1-0 (semidet) + E3: C3 CALL pred nondet_stack.safe/1-0 (semidet) mdb> nondet_stack non 217: temp redoip: label UNKNOWN @@ -481,7 +481,7 @@ non 10: ordinary, 6 words mdb> break nondet_stack__test 0: + stop interface pred nondet_stack.test/2-0 (nondet) mdb> continue - E4: C4 2 CALL pred nondet_stack.test/2-0 (nondet) + E4: C4 CALL pred nondet_stack.test/2-0 (nondet) mdb> nondet_stack non 284: ordinary, 12 words redoip: unnamed label diff --git a/tests/debugger/nondet_stack.exp2 b/tests/debugger/nondet_stack.exp2 index 0aa10b0c0..37a5f5fe0 100644 --- a/tests/debugger/nondet_stack.exp2 +++ b/tests/debugger/nondet_stack.exp2 @@ -1,11 +1,11 @@ - E1: C1 1 CALL pred nondet_stack.main/2-0 (cc_multi) nondet_stack.m:NNNN + E1: C1 CALL pred nondet_stack.main/2-0 (cc_multi) nondet_stack.m:NNNN mdb> echo on Command echo enabled. mdb> context none Contexts will not be printed. mdb> register --quiet mdb> goto 22 - E2: C2 6 SWTC pred nondet_stack.qperm/2-0 (nondet) s2; + E2: C2 SWTC pred nondet_stack.qperm/2-0 (nondet) s2; mdb> nondet_stack 3 non 162: ordinary, 16 words redoip: unnamed label @@ -190,7 +190,7 @@ non 10: ordinary, 6 words succip: label wrapper_not_reached succfr: non 4 mdb> goto 39 - E3: C3 3 CALL pred nondet_stack.safe/1-0 (semidet) + E3: C3 CALL pred nondet_stack.safe/1-0 (semidet) mdb> nondet_stack non 258: temp redoip: label UNKNOWN @@ -481,7 +481,7 @@ non 10: ordinary, 6 words mdb> break nondet_stack__test 0: + stop interface pred nondet_stack.test/2-0 (nondet) mdb> continue - E4: C4 2 CALL pred nondet_stack.test/2-0 (nondet) + E4: C4 CALL pred nondet_stack.test/2-0 (nondet) mdb> nondet_stack non 341: ordinary, 16 words redoip: unnamed label diff --git a/tests/debugger/polymorphic_output.exp b/tests/debugger/polymorphic_output.exp index f68d8f5a2..b79220168 100644 --- a/tests/debugger/polymorphic_output.exp +++ b/tests/debugger/polymorphic_output.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:20 + E1: C1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:20 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,7 +7,7 @@ Contexts will not be printed. mdb> b functor_names 0: + stop interface func polymorphic_output.functor_names/1-0 (det) mdb> c - E2: C2 2 CALL func polymorphic_output.functor_names/1-0 (det) + E2: C2 CALL func polymorphic_output.functor_names/1-0 (det) mdb> delete 0 0: E stop interface func polymorphic_output.functor_names/1-0 (det) mdb> p goal diff --git a/tests/debugger/polymorphic_output.exp2 b/tests/debugger/polymorphic_output.exp2 index f54b98cac..f19bf9a5a 100644 --- a/tests/debugger/polymorphic_output.exp2 +++ b/tests/debugger/polymorphic_output.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:20 + E1: C1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:20 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,7 +7,7 @@ Contexts will not be printed. mdb> b functor_names 0: + stop interface func polymorphic_output.functor_names/1-0 (det) mdb> c - E2: C2 2 CALL func polymorphic_output.functor_names/1-0 (det) + E2: C2 CALL func polymorphic_output.functor_names/1-0 (det) mdb> delete 0 0: E stop interface func polymorphic_output.functor_names/1-0 (det) mdb> p goal @@ -54,12 +54,12 @@ browser> quit mdb> b std_util__det_arg 0: + stop interface func std_util.det_arg/2-0 (det) mdb> c - E3: C3 4 CALL func std_util.det_arg/2-0 (det) + E3: C3 CALL func std_util.det_arg/2-0 (det) mdb> P Type (arg 1) two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4) Index (arg 2) 3 mdb> f - E4: C3 4 EXCP func std_util.det_arg/2-0 (det) + E4: C3 EXCP func std_util.det_arg/2-0 (det) mdb> P Type (arg 1) two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4) Index (arg 2) 3 diff --git a/tests/debugger/polymorphic_output.exp3 b/tests/debugger/polymorphic_output.exp3 index 85b175e28..63408aa7a 100644 --- a/tests/debugger/polymorphic_output.exp3 +++ b/tests/debugger/polymorphic_output.exp3 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:20 + E1: C1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:20 mdb> echo on Command echo enabled. mdb> register --quiet @@ -7,7 +7,7 @@ Contexts will not be printed. mdb> b functor_names 0: + stop interface func polymorphic_output.functor_names/1-0 (det) mdb> c - E2: C2 2 CALL func polymorphic_output.functor_names/1-0 (det) + E2: C2 CALL func polymorphic_output.functor_names/1-0 (det) mdb> delete 0 0: E stop interface func polymorphic_output.functor_names/1-0 (det) mdb> p goal @@ -54,12 +54,12 @@ browser> quit mdb> b std_util__det_arg 0: + stop interface func std_util.det_arg/2-0 (det) mdb> c - E3: C3 4 CALL func std_util.det_arg/2-0 (det) + E3: C3 CALL func std_util.det_arg/2-0 (det) mdb> P Type (arg 1) two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4) Index (arg 2) 3 mdb> f - E4: C3 4 EXCP func std_util.det_arg/2-0 (det) + E4: C3 EXCP func std_util.det_arg/2-0 (det) mdb> P Type (arg 1) two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4) Index (arg 2) 3 diff --git a/tests/debugger/print_goal.exp b/tests/debugger/print_goal.exp index 060df2b49..24b4cac0f 100644 --- a/tests/debugger/print_goal.exp +++ b/tests/debugger/print_goal.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred print_goal.main/2-0 (det) print_goal.m:12 + E1: C1 CALL pred print_goal.main/2-0 (det) print_goal.m:12 mdb> echo on Command echo enabled. mdb> context none @@ -9,16 +9,16 @@ mdb> b big_data mdb> b print_goal 1: + stop interface pred print_goal.print_goal/9-0 (det) mdb> c - E2: C2 2 CALL pred print_goal.big_data/1-0 (det) + E2: C2 CALL pred print_goal.big_data/1-0 (det) mdb> p goal big_data(_) mdb> finish - E3: C2 2 EXIT pred print_goal.big_data/1-0 (det) + E3: C2 EXIT pred print_goal.big_data/1-0 (det) mdb> p goal big_data(big(big(big/3, 2, small), 3, big(big/3, 6, small))) mdb> c big(big(big(small, 1, small), 2, small), 3, big(big(small, 4, big(small, 5, small)), 6, small)). - E4: C3 2 CALL pred print_goal.print_goal/9-0 (det) + E4: C3 CALL pred print_goal.print_goal/9-0 (det) mdb> v 1 HeadVar__1 2 _W (arg 2) @@ -28,7 +28,7 @@ mdb> v mdb> p goal print_goal(yes, 100, 101, _, _, 102, _, state(<>), _) mdb> finish - E5: C3 2 EXIT pred print_goal.print_goal/9-0 (det) + E5: C3 EXIT pred print_goal.print_goal/9-0 (det) mdb> v 1 HeadVar__1 2 _W (arg 2) @@ -43,7 +43,7 @@ print_goal(yes, 100, 101, 102, 103, 102, 103, _, state(<>)) mdb> c 103. 103. - E6: C4 2 CALL pred print_goal.print_goal/9-0 (det) + E6: C4 CALL pred print_goal.print_goal/9-0 (det) mdb> v 1 HeadVar__1 2 _W (arg 2) @@ -51,7 +51,7 @@ mdb> v 4 Y (arg 6) 5 DCG_0 (arg 8) mdb> finish - E7: C4 2 EXIT pred print_goal.print_goal/9-0 (det) + E7: C4 EXIT pred print_goal.print_goal/9-0 (det) mdb> v 1 HeadVar__1 2 _W (arg 2) diff --git a/tests/debugger/print_table.exp b/tests/debugger/print_table.exp index e43c50fe4..43e033cbe 100644 --- a/tests/debugger/print_table.exp +++ b/tests/debugger/print_table.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred print_table.main/2-0 (det) print_table.m:13 + E1: C1 CALL pred print_table.main/2-0 (det) print_table.m:13 mdb> echo on Command echo enabled. mdb> context none @@ -9,9 +9,9 @@ mdb> register --quiet mdb> b p 0: + stop interface pred print_table.p/3-0 (det) mdb> c - E2: C2 2 CALL pred print_table.p/3-0 (det) + E2: C2 CALL pred print_table.p/3-0 (det) mdb> f -n - E3: C2 2 EXIT pred print_table.p/3-0 (det) + E3: C2 EXIT pred print_table.p/3-0 (det) mdb> table p memo table for pred print_table.p/3-0 (det): <5, 0>: succeeded <0> @@ -33,9 +33,9 @@ end of table (6 entries) mdb> table p 5 2 <5, 2>: succeeded <15> mdb> c - E4: C3 2 CALL pred print_table.p/3-0 (det) + E4: C3 CALL pred print_table.p/3-0 (det) mdb> f -n - E5: C3 2 EXIT pred print_table.p/3-0 (det) + E5: C3 EXIT pred print_table.p/3-0 (det) mdb> table p memo table for pred print_table.p/3-0 (det): <4, 0>: succeeded <0> @@ -70,9 +70,9 @@ end of table (4 entries) mdb> table p 4 2 <4, 2>: succeeded <12> mdb> c - E6: C4 2 CALL pred print_table.p/3-0 (det) + E6: C4 CALL pred print_table.p/3-0 (det) mdb> f -n - E7: C4 2 EXIT pred print_table.p/3-0 (det) + E7: C4 EXIT pred print_table.p/3-0 (det) mdb> table p memo table for pred print_table.p/3-0 (det): <2, 0>: succeeded <0> @@ -110,9 +110,9 @@ end of table (4 entries) mdb> table p 2 1 <2, 1>: succeeded <2> mdb> c - E8: C5 2 CALL pred print_table.p/3-0 (det) + E8: C5 CALL pred print_table.p/3-0 (det) mdb> f -n - E9: C5 2 EXIT pred print_table.p/3-0 (det) + E9: C5 EXIT pred print_table.p/3-0 (det) mdb> table p memo table for pred print_table.p/3-0 (det): <1, 0>: succeeded <0> @@ -157,9 +157,9 @@ mdb: break point #1 does not exist. mdb> b q 1: + stop interface pred print_table.q/3-0 (semidet) mdb> c - E10: C6 2 CALL pred print_table.q/3-0 (semidet) + E10: C6 CALL pred print_table.q/3-0 (semidet) mdb> f -n - E11: C6 2 EXIT pred print_table.q/3-0 (semidet) + E11: C6 EXIT pred print_table.q/3-0 (semidet) mdb> table q memo table for pred print_table.q/3-0 (semidet): <3, 0>: succeeded <0> @@ -177,9 +177,9 @@ mdb> table q 3 2 mdb> table q 4 call table does not contain 4 in argument position 1. mdb> c - E12: C7 2 CALL pred print_table.q/3-0 (semidet) + E12: C7 CALL pred print_table.q/3-0 (semidet) mdb> f -n - E13: C7 2 FAIL pred print_table.q/3-0 (semidet) + E13: C7 FAIL pred print_table.q/3-0 (semidet) mdb> table q memo table for pred print_table.q/3-0 (semidet): <3, 0>: succeeded <0> @@ -209,12 +209,12 @@ mdb> delete 1 mdb> b r 1: + stop interface pred print_table.r/2-0 (det) mdb> c - E14: C8 2 CALL pred print_table.r/2-0 (det) + E14: C8 CALL pred print_table.r/2-0 (det) mdb> table r memo table for pred print_table.r/2-0 (det): end of table (0 entries) mdb> s - E15: C8 2 COND pred print_table.r/2-0 (det) + E15: C8 COND pred print_table.r/2-0 (det) mdb> table r memo table for pred print_table.r/2-0 (det): <3>: working @@ -222,13 +222,13 @@ end of table (1 entry) mdb> table r 3 <3>: working mdb> c - E16: C9 3 CALL pred print_table.r/2-0 (det) + E16: C9 CALL pred print_table.r/2-0 (det) mdb> table r memo table for pred print_table.r/2-0 (det): <3>: working end of table (1 entry) mdb> f -n - E17: C9 3 EXIT pred print_table.r/2-0 (det) + E17: C9 EXIT pred print_table.r/2-0 (det) mdb> table r memo table for pred print_table.r/2-0 (det): <0>: succeeded <0> @@ -237,7 +237,7 @@ memo table for pred print_table.r/2-0 (det): <3>: working end of table (4 entries) mdb> f -n 1 - E18: C8 2 EXIT pred print_table.r/2-0 (det) + E18: C8 EXIT pred print_table.r/2-0 (det) mdb> table r memo table for pred print_table.r/2-0 (det): <0>: succeeded <0> @@ -250,20 +250,20 @@ mdb> delete 1 mdb> b s 1: + stop interface pred print_table.s/6-0 (det) mdb> c - E19: C10 2 CALL pred print_table.s/6-0 (det) + E19: C10 CALL pred print_table.s/6-0 (det) mdb> table s memo table for pred print_table.s/6-0 (det): end of table (0 entries) mdb> f -n - E20: C10 2 EXIT pred print_table.s/6-0 (det) + E20: C10 EXIT pred print_table.s/6-0 (det) mdb> table s memo table for pred print_table.s/6-0 (det): <3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> end of table (1 entry) mdb> c - E21: C11 2 CALL pred print_table.s/6-0 (det) + E21: C11 CALL pred print_table.s/6-0 (det) mdb> f -n - E22: C11 2 EXIT pred print_table.s/6-0 (det) + E22: C11 EXIT pred print_table.s/6-0 (det) mdb> table s memo table for pred print_table.s/6-0 (det): <3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> @@ -285,17 +285,17 @@ memo table for pred print_table.s/6-0 (det): <3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> end of table (1 entry) mdb> c - E23: C12 2 CALL pred print_table.s/6-0 (det) + E23: C12 CALL pred print_table.s/6-0 (det) mdb> f -n - E24: C12 2 EXIT pred print_table.s/6-0 (det) + E24: C12 EXIT pred print_table.s/6-0 (det) mdb> c - E25: C13 2 CALL pred print_table.s/6-0 (det) + E25: C13 CALL pred print_table.s/6-0 (det) mdb> f -n - E26: C13 2 EXIT pred print_table.s/6-0 (det) + E26: C13 EXIT pred print_table.s/6-0 (det) mdb> c - E27: C14 2 CALL pred print_table.s/6-0 (det) + E27: C14 CALL pred print_table.s/6-0 (det) mdb> f -n - E28: C14 2 EXIT pred print_table.s/6-0 (det) + E28: C14 EXIT pred print_table.s/6-0 (det) mdb> table s memo table for pred print_table.s/6-0 (det): <3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> @@ -351,18 +351,18 @@ mdb> delete 1 mdb> b t 1: + stop interface pred print_table.t/3-0 (nondet) mdb> c - E29: C15 2 CALL pred print_table.t/3-0 (nondet) + E29: C15 CALL pred print_table.t/3-0 (nondet) mdb> table t memo table for pred print_table.t/3-0 (nondet): end of table (0 entries) mdb> s - E30: C15 2 DISJ pred print_table.t/3-0 (nondet) + E30: C15 DISJ pred print_table.t/3-0 (nondet) mdb> table t memo table for pred print_table.t/3-0 (nondet): <1, 2>: active end of table (1 entry) mdb> finish - E31: C15 2 EXIT pred print_table.t/3-0 (nondet) + E31: C15 EXIT pred print_table.t/3-0 (nondet) mdb> table t memo table for pred print_table.t/3-0 (nondet): <1, 2>: incomplete @@ -373,7 +373,7 @@ mdb> delete 1 mdb> b tdone 1: + stop interface pred print_table.tdone/0-0 (det) mdb> c - E32: C16 2 CALL pred print_table.tdone/0-0 (det) + E32: C16 CALL pred print_table.tdone/0-0 (det) mdb> table t memo table for pred print_table.t/3-0 (nondet): <1, 2>: complete diff --git a/tests/debugger/queens.exp b/tests/debugger/queens.exp index c8d558b4e..2457edc7b 100644 --- a/tests/debugger/queens.exp +++ b/tests/debugger/queens.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred queens.main/2-0 (cc_multi) queens.m:17 + E1: C1 CALL pred queens.main/2-0 (cc_multi) queens.m:17 mdb> echo on Command echo enabled. mdb> register --quiet @@ -9,21 +9,21 @@ mdb> print * mdb> b data 0: + stop interface pred queens.data/1-0 (det) mdb> continue - E2: C2 2 CALL pred queens.data/1-0 (det) queens.m:24 (queens.m:15) + E2: C2 CALL pred queens.data/1-0 (det) queens.m:24 (queens.m:15) mdb> delete 0 0: E stop interface pred queens.data/1-0 (det) mdb> print * mdb: there are no live variables. mdb> - E3: C2 2 EXIT pred queens.data/1-0 (det) queens.m:24 (queens.m:15) + E3: C2 EXIT pred queens.data/1-0 (det) queens.m:24 (queens.m:15) mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> - E4: C3 2 CALL pred queens.queen/2-0 (nondet) queens.m:29 (queens.m:15) + E4: C3 CALL pred queens.queen/2-0 (nondet) queens.m:29 (queens.m:15) mdb> print * Data (arg 1) [1, 2, 3, 4, 5] mdb> - E5: C4 3 CALL pred queens.qperm/2-0 (nondet) queens.m:36 (queens.m:30) + E5: C4 CALL pred queens.qperm/2-0 (nondet) queens.m:36 (queens.m:30) mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> print_optionals on @@ -34,15 +34,15 @@ mdb> print_optionals off mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> - E6: C4 3 SWTC pred queens.qperm/2-0 (nondet) s2; queens.m:37 + E6: C4 SWTC pred queens.qperm/2-0 (nondet) s2; queens.m:37 mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> - E7: C5 4 CALL pred queens.qdelete/3-0 (nondet) queens.m:45 (queens.m:38) + E7: C5 CALL pred queens.qdelete/3-0 (nondet) queens.m:45 (queens.m:38) mdb> print * HeadVar__2 [1, 2, 3, 4, 5] mdb> - E8: C5 4 DISJ pred queens.qdelete/3-0 (nondet) c2;d1; queens.m:45 + E8: C5 DISJ pred queens.qdelete/3-0 (nondet) c2;d1; queens.m:45 mdb> print * HeadVar__2 [1, 2, 3, 4, 5] mdb> level 1 @@ -83,7 +83,7 @@ mdb> vars mdb> print * Data (arg 1) [1, 2, 3, 4, 5] mdb> - E9: C5 4 EXIT queens.m:45 (from queens.m:38) + E9: C5 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> print HeadVar__1 HeadVar__1 1 @@ -92,45 +92,45 @@ mdb> print HeadVar__2 mdb> print HeadVar__3 HeadVar__3 [2, 3, 4, 5] mdb> - E10: C6 4 CALL queens.m:36 (from queens.m:40) + E10: C6 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> print * HeadVar__1 [2, 3, 4, 5] mdb> - E11: C6 4 SWTC queens.m:37 + E11: C6 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; mdb> print * HeadVar__1 [2, 3, 4, 5] mdb> - E12: C7 5 CALL queens.m:45 (from queens.m:38) + E12: C7 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> print * HeadVar__2 [2, 3, 4, 5] mdb> - E13: C7 5 DISJ queens.m:45 + E13: C7 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; mdb> print * HeadVar__2 [2, 3, 4, 5] mdb> - E14: C7 5 EXIT queens.m:45 (from queens.m:38) + E14: C7 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> print * HeadVar__1 2 HeadVar__2 [2, 3, 4, 5] HeadVar__3 [3, 4, 5] mdb> - E15: C8 5 CALL queens.m:36 (from queens.m:40) + E15: C8 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> goto -a 21 - E16: C8 5 SWTC queens.m:37 + E16: C8 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; - E17: C9 6 CALL queens.m:45 (from queens.m:38) + E17: C9 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E18: C9 6 DISJ queens.m:45 + E18: C9 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; - E19: C9 6 EXIT queens.m:45 (from queens.m:38) + E19: C9 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E20: C10 6 CALL queens.m:36 (from queens.m:40) + E20: C10 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> stack 0 4* pred queens.qperm/2-0 (nondet) (queens.m:36 and others) @@ -154,41 +154,41 @@ mdb> stack -d 3 mdb> print * HeadVar__1 [4, 5] mdb> - E21: C10 6 SWTC queens.m:37 + E21: C10 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; mdb> retry - E20: C10 6 CALL queens.m:36 (from queens.m:40) + E20: C10 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> print * HeadVar__1 [4, 5] mdb> finish -a - E21: C10 6 SWTC queens.m:37 + E21: C10 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; - E22: C11 7 CALL queens.m:45 (from queens.m:38) + E22: C11 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E23: C11 7 DISJ queens.m:45 + E23: C11 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; - E24: C11 7 EXIT queens.m:45 (from queens.m:38) + E24: C11 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E25: C12 7 CALL queens.m:36 (from queens.m:40) + E25: C12 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E26: C12 7 SWTC queens.m:37 + E26: C12 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; - E27: C13 8 CALL queens.m:45 (from queens.m:38) + E27: C13 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E28: C13 8 DISJ queens.m:45 + E28: C13 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; - E29: C13 8 EXIT queens.m:45 (from queens.m:38) + E29: C13 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E30: C14 8 CALL queens.m:36 (from queens.m:40) + E30: C14 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E31: C14 8 SWTC queens.m:36 + E31: C14 SWTC queens.m:36 pred queens.qperm/2-0 (nondet) s1; - E32: C14 8 EXIT queens.m:36 (from queens.m:40) + E32: C14 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E33: C12 7 EXIT queens.m:36 (from queens.m:40) + E33: C12 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E34: C10 6 EXIT queens.m:36 (from queens.m:40) + E34: C10 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> register --quiet mdb> break print_list @@ -196,43 +196,43 @@ mdb> break print_list mdb> break qdelete 1: + stop interface pred queens.qdelete/3-0 (nondet) mdb> continue -a - E35: C8 5 EXIT queens.m:36 (from queens.m:40) + E35: C8 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E36: C6 4 EXIT queens.m:36 (from queens.m:40) + E36: C6 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E37: C4 3 EXIT queens.m:36 (from queens.m:30) + E37: C4 EXIT queens.m:36 (from queens.m:30) pred queens.qperm/2-0 (nondet) - E38: C15 3 CALL queens.m:52 (from queens.m:31) + E38: C15 CALL queens.m:52 (from queens.m:31) pred queens.safe/1-0 (semidet) - E39: C15 3 SWTC queens.m:53 + E39: C15 SWTC queens.m:53 pred queens.safe/1-0 (semidet) s2; - E40: C16 4 CALL queens.m:60 (from queens.m:54) + E40: C16 CALL queens.m:60 (from queens.m:54) pred queens.nodiag/3-0 (semidet) - E41: C16 4 SWTC queens.m:61 + E41: C16 SWTC queens.m:61 pred queens.nodiag/3-0 (semidet) s2; - E42: C16 4 COND queens.m:64 + E42: C16 COND queens.m:64 pred queens.nodiag/3-0 (semidet) s2;c6;?; - E43: C16 4 THEN queens.m:65 + E43: C16 THEN queens.m:65 pred queens.nodiag/3-0 (semidet) s2;c6;t; - E44: C16 4 FAIL queens.m:60 (from queens.m:54) + E44: C16 FAIL queens.m:60 (from queens.m:54) pred queens.nodiag/3-0 (semidet) - E45: C15 3 FAIL queens.m:52 (from queens.m:31) + E45: C15 FAIL queens.m:52 (from queens.m:31) pred queens.safe/1-0 (semidet) - E46: C4 3 REDO queens.m:36 (from queens.m:30) + E46: C4 REDO queens.m:36 (from queens.m:30) pred queens.qperm/2-0 (nondet) - E47: C6 4 REDO queens.m:36 (from queens.m:40) + E47: C6 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E48: C8 5 REDO queens.m:36 (from queens.m:40) + E48: C8 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E49: C10 6 REDO queens.m:36 (from queens.m:40) + E49: C10 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E50: C12 7 REDO queens.m:36 (from queens.m:40) + E50: C12 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E51: C14 8 REDO queens.m:36 (from queens.m:40) + E51: C14 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E52: C14 8 FAIL queens.m:36 (from queens.m:40) + E52: C14 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E53: C13 8 REDO queens.m:45 (from queens.m:38) + E53: C13 REDO queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> break info 0: + stop interface pred queens.print_list/3-0 (det) @@ -241,74 +241,74 @@ mdb> enable * 0: + stop interface pred queens.print_list/3-0 (det) 1: + stop interface pred queens.qdelete/3-0 (nondet) mdb> step -aS 5 - E54: C13 8 DISJ queens.m:46 + E54: C13 DISJ queens.m:46 pred queens.qdelete/3-0 (nondet) c2;d2; - E55: C17 9 CALL queens.m:45 (from queens.m:47) + E55: C17 CALL queens.m:45 (from queens.m:47) pred queens.qdelete/3-0 (nondet) - E56: C17 9 FAIL queens.m:45 (from queens.m:47) + E56: C17 FAIL queens.m:45 (from queens.m:47) pred queens.qdelete/3-0 (nondet) - E57: C13 8 FAIL queens.m:45 (from queens.m:38) + E57: C13 FAIL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E58: C12 7 FAIL queens.m:36 (from queens.m:40) + E58: C12 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> disable 1 1: - stop interface pred queens.qdelete/3-0 (nondet) mdb> retry 4 - E5: C4 3 CALL queens.m:36 (from queens.m:30) + E5: C4 CALL queens.m:36 (from queens.m:30) pred queens.qperm/2-0 (nondet) mdb> break 40 2: + stop linenumber queens.m:40 mdb> continue -n - E10: C6 4 CALL queens.m:36 (from queens.m:40) + E10: C6 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E15: C8 5 CALL queens.m:36 (from queens.m:40) + E15: C8 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E20: C10 6 CALL queens.m:36 (from queens.m:40) + E20: C10 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E25: C12 7 CALL queens.m:36 (from queens.m:40) + E25: C12 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E30: C14 8 CALL queens.m:36 (from queens.m:40) + E30: C14 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E32: C14 8 EXIT queens.m:36 (from queens.m:40) + E32: C14 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> return - E33: C12 7 EXIT queens.m:36 (from queens.m:40) + E33: C12 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E34: C10 6 EXIT queens.m:36 (from queens.m:40) + E34: C10 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E35: C8 5 EXIT queens.m:36 (from queens.m:40) + E35: C8 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E36: C6 4 EXIT queens.m:36 (from queens.m:40) + E36: C6 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E38: C15 3 CALL queens.m:52 (from queens.m:31) + E38: C15 CALL queens.m:52 (from queens.m:31) pred queens.safe/1-0 (semidet) mdb> continue -n - E47: C6 4 REDO queens.m:36 (from queens.m:40) + E47: C6 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E48: C8 5 REDO queens.m:36 (from queens.m:40) + E48: C8 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> forward - E49: C10 6 REDO queens.m:36 (from queens.m:40) + E49: C10 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E50: C12 7 REDO queens.m:36 (from queens.m:40) + E50: C12 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E51: C14 8 REDO queens.m:36 (from queens.m:40) + E51: C14 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E52: C14 8 FAIL queens.m:36 (from queens.m:40) + E52: C14 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E54: C13 8 DISJ queens.m:46 + E54: C13 DISJ queens.m:46 pred queens.qdelete/3-0 (nondet) c2;d2; mdb> continue -n - E58: C12 7 FAIL queens.m:36 (from queens.m:40) + E58: C12 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E59: C18 7 CALL queens.m:36 (from queens.m:40) + E59: C18 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> delete * 0: E stop interface pred queens.print_list/3-0 (det) @@ -318,12 +318,12 @@ mdb> break main 0: + stop interface pred queens.main/2-0 (cc_multi) mdb> continue -n [1, 3, 5, 2, 4] - E60: C1 1 EXIT queens.m:17 + E60: C1 EXIT queens.m:17 pred queens.main/2-0 (cc_multi) mdb> retry Retry across I/O operations is not always safe. Are you sure you want to do it? yes - E1: C1 1 CALL queens.m:17 + E1: C1 CALL queens.m:17 pred queens.main/2-0 (cc_multi) mdb> continue -n -S [1, 3, 5, 2, 4] diff --git a/tests/debugger/queens.exp2 b/tests/debugger/queens.exp2 index cca1d0064..065c0712a 100644 --- a/tests/debugger/queens.exp2 +++ b/tests/debugger/queens.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred queens.main/2-0 (cc_multi) queens.m:17 + E1: C1 CALL pred queens.main/2-0 (cc_multi) queens.m:17 mdb> echo on Command echo enabled. mdb> register --quiet @@ -9,21 +9,21 @@ mdb> print * mdb> b data 0: + stop interface pred queens.data/1-0 (det) mdb> continue - E2: C2 2 CALL pred queens.data/1-0 (det) queens.m:24 (queens.m:15) + E2: C2 CALL pred queens.data/1-0 (det) queens.m:24 (queens.m:15) mdb> delete 0 0: E stop interface pred queens.data/1-0 (det) mdb> print * mdb: there are no live variables. mdb> - E3: C2 2 EXIT pred queens.data/1-0 (det) queens.m:24 (queens.m:15) + E3: C2 EXIT pred queens.data/1-0 (det) queens.m:24 (queens.m:15) mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> - E4: C3 2 CALL pred queens.queen/2-0 (nondet) queens.m:29 (queens.m:15) + E4: C3 CALL pred queens.queen/2-0 (nondet) queens.m:29 (queens.m:15) mdb> print * Data (arg 1) [1, 2, 3, 4, 5] mdb> - E5: C4 3 CALL pred queens.qperm/2-0 (nondet) queens.m:36 (queens.m:30) + E5: C4 CALL pred queens.qperm/2-0 (nondet) queens.m:36 (queens.m:30) mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> print_optionals on @@ -34,15 +34,15 @@ mdb> print_optionals off mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> - E6: C4 3 SWTC pred queens.qperm/2-0 (nondet) s2; queens.m:37 + E6: C4 SWTC pred queens.qperm/2-0 (nondet) s2; queens.m:37 mdb> print * HeadVar__1 [1, 2, 3, 4, 5] mdb> - E7: C5 4 CALL pred queens.qdelete/3-0 (nondet) queens.m:45 (queens.m:38) + E7: C5 CALL pred queens.qdelete/3-0 (nondet) queens.m:45 (queens.m:38) mdb> print * HeadVar__2 [1, 2, 3, 4, 5] mdb> - E8: C5 4 DISJ pred queens.qdelete/3-0 (nondet) c2;d1; queens.m:45 + E8: C5 DISJ pred queens.qdelete/3-0 (nondet) c2;d1; queens.m:45 mdb> print * HeadVar__2 [1, 2, 3, 4, 5] mdb> level 1 @@ -83,7 +83,7 @@ mdb> vars mdb> print * Data (arg 1) [1, 2, 3, 4, 5] mdb> - E9: C5 4 EXIT queens.m:45 (from queens.m:38) + E9: C5 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> print HeadVar__1 HeadVar__1 1 @@ -92,45 +92,45 @@ mdb> print HeadVar__2 mdb> print HeadVar__3 HeadVar__3 [2, 3, 4, 5] mdb> - E10: C6 4 CALL queens.m:36 (from queens.m:40) + E10: C6 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> print * HeadVar__1 [2, 3, 4, 5] mdb> - E11: C6 4 SWTC queens.m:37 + E11: C6 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; mdb> print * HeadVar__1 [2, 3, 4, 5] mdb> - E12: C7 5 CALL queens.m:45 (from queens.m:38) + E12: C7 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> print * HeadVar__2 [2, 3, 4, 5] mdb> - E13: C7 5 DISJ queens.m:45 + E13: C7 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; mdb> print * HeadVar__2 [2, 3, 4, 5] mdb> - E14: C7 5 EXIT queens.m:45 (from queens.m:38) + E14: C7 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> print * HeadVar__1 2 HeadVar__2 [2, 3, 4, 5] HeadVar__3 [3, 4, 5] mdb> - E15: C8 5 CALL queens.m:36 (from queens.m:40) + E15: C8 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> goto -a 21 - E16: C8 5 SWTC queens.m:37 + E16: C8 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; - E17: C9 6 CALL queens.m:45 (from queens.m:38) + E17: C9 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E18: C9 6 DISJ queens.m:45 + E18: C9 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; - E19: C9 6 EXIT queens.m:45 (from queens.m:38) + E19: C9 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E20: C10 6 CALL queens.m:36 (from queens.m:40) + E20: C10 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> stack 0 4* pred queens.qperm/2-0 (nondet) (queens.m:36 and others) @@ -154,41 +154,41 @@ mdb> stack -d 3 mdb> print * HeadVar__1 [4, 5] mdb> - E21: C10 6 SWTC queens.m:37 + E21: C10 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; mdb> retry - E20: C10 6 CALL queens.m:36 (from queens.m:40) + E20: C10 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> print * HeadVar__1 [4, 5] mdb> finish -a - E21: C10 6 SWTC queens.m:37 + E21: C10 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; - E22: C11 7 CALL queens.m:45 (from queens.m:38) + E22: C11 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E23: C11 7 DISJ queens.m:45 + E23: C11 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; - E24: C11 7 EXIT queens.m:45 (from queens.m:38) + E24: C11 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E25: C12 7 CALL queens.m:36 (from queens.m:40) + E25: C12 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E26: C12 7 SWTC queens.m:37 + E26: C12 SWTC queens.m:37 pred queens.qperm/2-0 (nondet) s2; - E27: C13 8 CALL queens.m:45 (from queens.m:38) + E27: C13 CALL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E28: C13 8 DISJ queens.m:45 + E28: C13 DISJ queens.m:45 pred queens.qdelete/3-0 (nondet) c2;d1; - E29: C13 8 EXIT queens.m:45 (from queens.m:38) + E29: C13 EXIT queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E30: C14 8 CALL queens.m:36 (from queens.m:40) + E30: C14 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E31: C14 8 SWTC queens.m:36 + E31: C14 SWTC queens.m:36 pred queens.qperm/2-0 (nondet) s1; - E32: C14 8 EXIT queens.m:36 (from queens.m:40) + E32: C14 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E33: C12 7 EXIT queens.m:36 (from queens.m:40) + E33: C12 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E34: C10 6 EXIT queens.m:36 (from queens.m:40) + E34: C10 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> register --quiet mdb> break print_list @@ -196,51 +196,51 @@ mdb> break print_list mdb> break qdelete 1: + stop interface pred queens.qdelete/3-0 (nondet) mdb> continue -a - E35: C8 5 EXIT queens.m:36 (from queens.m:40) + E35: C8 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E36: C6 4 EXIT queens.m:36 (from queens.m:40) + E36: C6 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E37: C4 3 EXIT queens.m:36 (from queens.m:30) + E37: C4 EXIT queens.m:36 (from queens.m:30) pred queens.qperm/2-0 (nondet) - E38: C15 3 CALL queens.m:52 (from queens.m:31) + E38: C15 CALL queens.m:52 (from queens.m:31) pred queens.safe/1-0 (semidet) - E39: C15 3 SWTC queens.m:53 + E39: C15 SWTC queens.m:53 pred queens.safe/1-0 (semidet) s2; - E40: C16 4 CALL queens.m:60 (from queens.m:54) + E40: C16 CALL queens.m:60 (from queens.m:54) pred queens.nodiag/3-0 (semidet) - E41: C16 4 SWTC queens.m:61 + E41: C16 SWTC queens.m:61 pred queens.nodiag/3-0 (semidet) s2; - E42: C17 5 CALL int.m:NNNN (from queens.m:62) + E42: C17 CALL int.m:NNNN (from queens.m:62) func int.-/2-0 (det) - E43: C17 5 EXIT int.m:NNNN (from queens.m:62) + E43: C17 EXIT int.m:NNNN (from queens.m:62) func int.-/2-0 (det) - E44: C18 5 CALL int.m:NNNN (from queens.m:63) + E44: C18 CALL int.m:NNNN (from queens.m:63) func int.-/2-0 (det) - E45: C18 5 EXIT int.m:NNNN (from queens.m:63) + E45: C18 EXIT int.m:NNNN (from queens.m:63) func int.-/2-0 (det) - E46: C16 4 COND queens.m:64 + E46: C16 COND queens.m:64 pred queens.nodiag/3-0 (semidet) s2;c6;?; - E47: C16 4 THEN queens.m:65 + E47: C16 THEN queens.m:65 pred queens.nodiag/3-0 (semidet) s2;c6;t; - E48: C16 4 FAIL queens.m:60 (from queens.m:54) + E48: C16 FAIL queens.m:60 (from queens.m:54) pred queens.nodiag/3-0 (semidet) - E49: C15 3 FAIL queens.m:52 (from queens.m:31) + E49: C15 FAIL queens.m:52 (from queens.m:31) pred queens.safe/1-0 (semidet) - E50: C4 3 REDO queens.m:36 (from queens.m:30) + E50: C4 REDO queens.m:36 (from queens.m:30) pred queens.qperm/2-0 (nondet) - E51: C6 4 REDO queens.m:36 (from queens.m:40) + E51: C6 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E52: C8 5 REDO queens.m:36 (from queens.m:40) + E52: C8 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E53: C10 6 REDO queens.m:36 (from queens.m:40) + E53: C10 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E54: C12 7 REDO queens.m:36 (from queens.m:40) + E54: C12 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E55: C14 8 REDO queens.m:36 (from queens.m:40) + E55: C14 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E56: C14 8 FAIL queens.m:36 (from queens.m:40) + E56: C14 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E57: C13 8 REDO queens.m:45 (from queens.m:38) + E57: C13 REDO queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) mdb> break info 0: + stop interface pred queens.print_list/3-0 (det) @@ -249,74 +249,74 @@ mdb> enable * 0: + stop interface pred queens.print_list/3-0 (det) 1: + stop interface pred queens.qdelete/3-0 (nondet) mdb> step -aS 5 - E58: C13 8 DISJ queens.m:46 + E58: C13 DISJ queens.m:46 pred queens.qdelete/3-0 (nondet) c2;d2; - E59: C19 9 CALL queens.m:45 (from queens.m:47) + E59: C19 CALL queens.m:45 (from queens.m:47) pred queens.qdelete/3-0 (nondet) - E60: C19 9 FAIL queens.m:45 (from queens.m:47) + E60: C19 FAIL queens.m:45 (from queens.m:47) pred queens.qdelete/3-0 (nondet) - E61: C13 8 FAIL queens.m:45 (from queens.m:38) + E61: C13 FAIL queens.m:45 (from queens.m:38) pred queens.qdelete/3-0 (nondet) - E62: C12 7 FAIL queens.m:36 (from queens.m:40) + E62: C12 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> disable 1 1: - stop interface pred queens.qdelete/3-0 (nondet) mdb> retry 4 - E5: C4 3 CALL queens.m:36 (from queens.m:30) + E5: C4 CALL queens.m:36 (from queens.m:30) pred queens.qperm/2-0 (nondet) mdb> break 40 2: + stop linenumber queens.m:40 mdb> continue -n - E10: C6 4 CALL queens.m:36 (from queens.m:40) + E10: C6 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E15: C8 5 CALL queens.m:36 (from queens.m:40) + E15: C8 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E20: C10 6 CALL queens.m:36 (from queens.m:40) + E20: C10 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E25: C12 7 CALL queens.m:36 (from queens.m:40) + E25: C12 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E30: C14 8 CALL queens.m:36 (from queens.m:40) + E30: C14 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E32: C14 8 EXIT queens.m:36 (from queens.m:40) + E32: C14 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> return - E33: C12 7 EXIT queens.m:36 (from queens.m:40) + E33: C12 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E34: C10 6 EXIT queens.m:36 (from queens.m:40) + E34: C10 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E35: C8 5 EXIT queens.m:36 (from queens.m:40) + E35: C8 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E36: C6 4 EXIT queens.m:36 (from queens.m:40) + E36: C6 EXIT queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E38: C15 3 CALL queens.m:52 (from queens.m:31) + E38: C15 CALL queens.m:52 (from queens.m:31) pred queens.safe/1-0 (semidet) mdb> continue -n - E51: C6 4 REDO queens.m:36 (from queens.m:40) + E51: C6 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E52: C8 5 REDO queens.m:36 (from queens.m:40) + E52: C8 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> forward - E53: C10 6 REDO queens.m:36 (from queens.m:40) + E53: C10 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E54: C12 7 REDO queens.m:36 (from queens.m:40) + E54: C12 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E55: C14 8 REDO queens.m:36 (from queens.m:40) + E55: C14 REDO queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E56: C14 8 FAIL queens.m:36 (from queens.m:40) + E56: C14 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) - E58: C13 8 DISJ queens.m:46 + E58: C13 DISJ queens.m:46 pred queens.qdelete/3-0 (nondet) c2;d2; mdb> continue -n - E62: C12 7 FAIL queens.m:36 (from queens.m:40) + E62: C12 FAIL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> continue -n - E63: C20 7 CALL queens.m:36 (from queens.m:40) + E63: C20 CALL queens.m:36 (from queens.m:40) pred queens.qperm/2-0 (nondet) mdb> delete * 0: E stop interface pred queens.print_list/3-0 (det) @@ -326,12 +326,12 @@ mdb> break main 0: + stop interface pred queens.main/2-0 (cc_multi) mdb> continue -n [1, 3, 5, 2, 4] - E64: C1 1 EXIT queens.m:17 + E64: C1 EXIT queens.m:17 pred queens.main/2-0 (cc_multi) mdb> retry Retry across I/O operations is not always safe. Are you sure you want to do it? yes - E1: C1 1 CALL queens.m:17 + E1: C1 CALL queens.m:17 pred queens.main/2-0 (cc_multi) mdb> continue -n -S [1, 3, 5, 2, 4] diff --git a/tests/debugger/resume_typeinfos.exp b/tests/debugger/resume_typeinfos.exp index 6910fd0c9..8026445f4 100644 --- a/tests/debugger/resume_typeinfos.exp +++ b/tests/debugger/resume_typeinfos.exp @@ -1,16 +1,16 @@ - E1: C1 1 CALL pred resume_typeinfos.main/2-0 (det) resume_typeinfos.m:NNNN + E1: C1 CALL pred resume_typeinfos.main/2-0 (det) resume_typeinfos.m:NNNN mdb> echo on Command echo enabled. mdb> context none Contexts will not be printed. mdb> goto 4 - E2: C2 3 CALL pred resume_typeinfos.introduce_new_typeinfo/2-0 (det) + E2: C2 CALL pred resume_typeinfos.introduce_new_typeinfo/2-0 (det) mdb> print * HeadVar__1 [1, 2] mdb> goto 6 - E3: C3 2 COND pred resume_typeinfos.test/2-0 (semidet) c2;?; + E3: C3 COND pred resume_typeinfos.test/2-0 (semidet) c2;?; mdb> finish - E4: C3 2 FAIL pred resume_typeinfos.test/2-0 (semidet) + E4: C3 FAIL pred resume_typeinfos.test/2-0 (semidet) mdb> print * TestList (arg 1) [1, 2] mdb> continue diff --git a/tests/debugger/retry.exp b/tests/debugger/retry.exp index 494889764..a0379ed36 100644 --- a/tests/debugger/retry.exp +++ b/tests/debugger/retry.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred retry.main/2-0 (det) retry.m:25 + E1: C1 CALL pred retry.main/2-0 (det) retry.m:25 mdb> echo on Command echo enabled. mdb> register --quiet @@ -11,8 +11,8 @@ Goal path printing is now off. mdb> break det_without_cut_1 0: + stop interface pred retry.det_without_cut_1/2-0 (det) mdb> continue -a - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) - E3: C3 3 CALL pred retry.det_without_cut_1/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) + E3: C3 CALL pred retry.det_without_cut_1/2-0 (det) mdb> disable 0 0: - stop interface pred retry.det_without_cut_1/2-0 (det) mdb> retry @@ -22,74 +22,74 @@ mdb> stack 1 pred retry.det_without_cut/2-0 (det) 2 pred retry.main/2-0 (det) mdb> finish - E4: C3 3 EXIT pred retry.det_without_cut_1/2-0 (det) + E4: C3 EXIT pred retry.det_without_cut_1/2-0 (det) mdb> retry 1 - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) mdb> stack 0 pred retry.det_without_cut/2-0 (det) 1 pred retry.main/2-0 (det) mdb> break det_without_cut_2 1: + stop interface pred retry.det_without_cut_2/2-0 (det) mdb> continue -a - E3: C3 3 CALL pred retry.det_without_cut_1/2-0 (det) - E5: C4 4 CALL pred retry.det_without_cut_2/2-0 (det) + E3: C3 CALL pred retry.det_without_cut_1/2-0 (det) + E5: C4 CALL pred retry.det_without_cut_2/2-0 (det) mdb> delete * 0: D stop interface pred retry.det_without_cut_1/2-0 (det) 1: E stop interface pred retry.det_without_cut_2/2-0 (det) mdb> retry 2 - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) mdb> finish - E6: C2 2 EXIT pred retry.det_without_cut/2-0 (det) + E6: C2 EXIT pred retry.det_without_cut/2-0 (det) mdb> stack 0 pred retry.det_without_cut/2-0 (det) 1 pred retry.main/2-0 (det) mdb> break det_with_cut_1 0: + stop interface pred retry.det_with_cut_1/2-0 (nondet) mdb> continue -a - E7: C5 2 CALL pred retry.det_with_cut/2-0 (det) - E8: C5 2 COND pred retry.det_with_cut/2-0 (det) - E9: C6 3 CALL pred retry.det_with_cut_1/2-0 (nondet) + E7: C5 CALL pred retry.det_with_cut/2-0 (det) + E8: C5 COND pred retry.det_with_cut/2-0 (det) + E9: C6 CALL pred retry.det_with_cut_1/2-0 (nondet) mdb> delete * 0: E stop interface pred retry.det_with_cut_1/2-0 (nondet) mdb> finish - E10: C6 3 EXIT pred retry.det_with_cut_1/2-0 (nondet) + E10: C6 EXIT pred retry.det_with_cut_1/2-0 (nondet) mdb> retry 1 - E7: C5 2 CALL pred retry.det_with_cut/2-0 (det) + E7: C5 CALL pred retry.det_with_cut/2-0 (det) mdb> finish - E11: C5 2 EXIT pred retry.det_with_cut/2-0 (det) + E11: C5 EXIT pred retry.det_with_cut/2-0 (det) mdb> stack 0 pred retry.det_with_cut/2-0 (det) 1 pred retry.main/2-0 (det) mdb> retry -f 1 - E1: C1 1 CALL pred retry.main/2-0 (det) + E1: C1 CALL pred retry.main/2-0 (det) mdb> break det_with_cut_2 0: + stop interface pred retry.det_with_cut_2/2-0 (det) mdb> continue -a - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) - E3: C3 3 CALL pred retry.det_without_cut_1/2-0 (det) - E5: C4 4 CALL pred retry.det_without_cut_2/2-0 (det) - E12: C4 4 EXIT pred retry.det_without_cut_2/2-0 (det) - E4: C3 3 EXIT pred retry.det_without_cut_1/2-0 (det) - E6: C2 2 EXIT pred retry.det_without_cut/2-0 (det) - E7: C5 2 CALL pred retry.det_with_cut/2-0 (det) - E8: C5 2 COND pred retry.det_with_cut/2-0 (det) - E9: C6 3 CALL pred retry.det_with_cut_1/2-0 (nondet) - E13: C6 3 DISJ pred retry.det_with_cut_1/2-0 (nondet) - E14: C7 4 CALL pred retry.det_with_cut_2/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) + E3: C3 CALL pred retry.det_without_cut_1/2-0 (det) + E5: C4 CALL pred retry.det_without_cut_2/2-0 (det) + E12: C4 EXIT pred retry.det_without_cut_2/2-0 (det) + E4: C3 EXIT pred retry.det_without_cut_1/2-0 (det) + E6: C2 EXIT pred retry.det_without_cut/2-0 (det) + E7: C5 CALL pred retry.det_with_cut/2-0 (det) + E8: C5 COND pred retry.det_with_cut/2-0 (det) + E9: C6 CALL pred retry.det_with_cut_1/2-0 (nondet) + E13: C6 DISJ pred retry.det_with_cut_1/2-0 (nondet) + E14: C7 CALL pred retry.det_with_cut_2/2-0 (det) mdb> delete * 0: E stop interface pred retry.det_with_cut_2/2-0 (det) mdb> break nondet 0: + stop interface pred retry.nondet/2-0 (multi) mdb> continue - E15: C8 2 CALL pred retry.nondet/2-0 (multi) + E15: C8 CALL pred retry.nondet/2-0 (multi) mdb> print * X0 (arg 1) 4 mdb> break nondet_2 1: + stop interface pred retry.nondet_2/2-0 (det) mdb> continue - E16: C9 3 CALL pred retry.nondet_2/2-0 (det) + E16: C9 CALL pred retry.nondet_2/2-0 (det) mdb> retry 1 - E15: C8 2 CALL pred retry.nondet/2-0 (multi) + E15: C8 CALL pred retry.nondet/2-0 (multi) mdb> print * X0 (arg 1) 4 mdb> delete * @@ -103,51 +103,51 @@ mdb> continue 9 40 41 50 51 - E17: C10 2 CALL pred retry.fib/2-0 (det) + E17: C10 CALL pred retry.fib/2-0 (det) mdb> print * N (arg 1) 15 mdb> continue - E18: C11 3 CALL pred retry.fib/2-0 (det) + E18: C11 CALL pred retry.fib/2-0 (det) mdb> print * N (arg 1) 14 mdb> continue - E19: C12 4 CALL pred retry.fib/2-0 (det) + E19: C12 CALL pred retry.fib/2-0 (det) mdb> continue - E20: C13 5 CALL pred retry.fib/2-0 (det) + E20: C13 CALL pred retry.fib/2-0 (det) mdb> step - E21: C13 5 COND pred retry.fib/2-0 (det) + E21: C13 COND pred retry.fib/2-0 (det) mdb> retry 2 - E18: C11 3 CALL pred retry.fib/2-0 (det) + E18: C11 CALL pred retry.fib/2-0 (det) mdb> print * N (arg 1) 14 mdb> next - E22: C11 3 COND pred retry.fib/2-0 (det) + E22: C11 COND pred retry.fib/2-0 (det) mdb> retry 1 - E17: C10 2 CALL pred retry.fib/2-0 (det) + E17: C10 CALL pred retry.fib/2-0 (det) mdb> finish -n - E23: C10 2 EXIT pred retry.fib/2-0 (det) + E23: C10 EXIT pred retry.fib/2-0 (det) mdb> delete * 0: E stop interface pred retry.fib/2-0 (det) mdb> break t 0: + stop interface pred retry.t/3-0 (nondet) mdb> continue 987 - E24: C14 2 CALL pred retry.t/3-0 (nondet) + E24: C14 CALL pred retry.t/3-0 (nondet) mdb> table t 1 2 call table does not contain 1 in argument position 1. mdb> finish marker executed: t 1 2 - E25: C14 2 EXIT pred retry.t/3-0 (nondet) + E25: C14 EXIT pred retry.t/3-0 (nondet) mdb> table t 1 2 <1, 2>: incomplete answer #1: <120> mdb> retry - E24: C14 2 CALL pred retry.t/3-0 (nondet) + E24: C14 CALL pred retry.t/3-0 (nondet) mdb> table t 1 2 <1, 2>: inactive mdb> finish marker executed: t 1 2 - E25: C14 2 EXIT pred retry.t/3-0 (nondet) + E25: C14 EXIT pred retry.t/3-0 (nondet) mdb> table t 1 2 <1, 2>: incomplete answer #1: <120> diff --git a/tests/debugger/retry.exp2 b/tests/debugger/retry.exp2 index bd7423f03..7186f6415 100644 --- a/tests/debugger/retry.exp2 +++ b/tests/debugger/retry.exp2 @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred retry.main/2-0 (det) retry.m:25 + E1: C1 CALL pred retry.main/2-0 (det) retry.m:25 mdb> echo on Command echo enabled. mdb> register --quiet @@ -11,10 +11,10 @@ Goal path printing is now off. mdb> break det_without_cut_1 0: + stop interface pred retry.det_without_cut_1/2-0 (det) mdb> continue -a - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) - E3: C3 3 CALL func int.+/2-0 (det) - E4: C3 3 EXIT func int.+/2-0 (det) - E5: C4 3 CALL pred retry.det_without_cut_1/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) + E3: C3 CALL func int.+/2-0 (det) + E4: C3 EXIT func int.+/2-0 (det) + E5: C4 CALL pred retry.det_without_cut_1/2-0 (det) mdb> disable 0 0: - stop interface pred retry.det_without_cut_1/2-0 (det) mdb> retry @@ -24,80 +24,80 @@ mdb> stack 1 pred retry.det_without_cut/2-0 (det) 2 pred retry.main/2-0 (det) mdb> finish - E6: C4 3 EXIT pred retry.det_without_cut_1/2-0 (det) + E6: C4 EXIT pred retry.det_without_cut_1/2-0 (det) mdb> retry 1 - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) mdb> stack 0 pred retry.det_without_cut/2-0 (det) 1 pred retry.main/2-0 (det) mdb> break det_without_cut_2 1: + stop interface pred retry.det_without_cut_2/2-0 (det) mdb> continue -a - E3: C3 3 CALL func int.+/2-0 (det) - E4: C3 3 EXIT func int.+/2-0 (det) - E5: C4 3 CALL pred retry.det_without_cut_1/2-0 (det) - E7: C5 4 CALL pred retry.det_without_cut_2/2-0 (det) + E3: C3 CALL func int.+/2-0 (det) + E4: C3 EXIT func int.+/2-0 (det) + E5: C4 CALL pred retry.det_without_cut_1/2-0 (det) + E7: C5 CALL pred retry.det_without_cut_2/2-0 (det) mdb> delete * 0: D stop interface pred retry.det_without_cut_1/2-0 (det) 1: E stop interface pred retry.det_without_cut_2/2-0 (det) mdb> retry 2 - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) mdb> finish - E8: C2 2 EXIT pred retry.det_without_cut/2-0 (det) + E8: C2 EXIT pred retry.det_without_cut/2-0 (det) mdb> stack 0 pred retry.det_without_cut/2-0 (det) 1 pred retry.main/2-0 (det) mdb> break det_with_cut_1 0: + stop interface pred retry.det_with_cut_1/2-0 (nondet) mdb> continue -a - E9: C6 2 CALL pred retry.det_with_cut/2-0 (det) - E10: C6 2 COND pred retry.det_with_cut/2-0 (det) - E11: C7 3 CALL pred retry.det_with_cut_1/2-0 (nondet) + E9: C6 CALL pred retry.det_with_cut/2-0 (det) + E10: C6 COND pred retry.det_with_cut/2-0 (det) + E11: C7 CALL pred retry.det_with_cut_1/2-0 (nondet) mdb> delete * 0: E stop interface pred retry.det_with_cut_1/2-0 (nondet) mdb> finish - E12: C7 3 EXIT pred retry.det_with_cut_1/2-0 (nondet) + E12: C7 EXIT pred retry.det_with_cut_1/2-0 (nondet) mdb> retry 1 - E9: C6 2 CALL pred retry.det_with_cut/2-0 (det) + E9: C6 CALL pred retry.det_with_cut/2-0 (det) mdb> finish - E13: C6 2 EXIT pred retry.det_with_cut/2-0 (det) + E13: C6 EXIT pred retry.det_with_cut/2-0 (det) mdb> stack 0 pred retry.det_with_cut/2-0 (det) 1 pred retry.main/2-0 (det) mdb> retry -f 1 - E1: C1 1 CALL pred retry.main/2-0 (det) + E1: C1 CALL pred retry.main/2-0 (det) mdb> break det_with_cut_2 0: + stop interface pred retry.det_with_cut_2/2-0 (det) mdb> continue -a - E2: C2 2 CALL pred retry.det_without_cut/2-0 (det) - E3: C3 3 CALL func int.+/2-0 (det) - E4: C3 3 EXIT func int.+/2-0 (det) - E5: C4 3 CALL pred retry.det_without_cut_1/2-0 (det) - E7: C5 4 CALL pred retry.det_without_cut_2/2-0 (det) - E14: C5 4 EXIT pred retry.det_without_cut_2/2-0 (det) - E15: C8 4 CALL func int.*/2-0 (det) - E16: C8 4 EXIT func int.*/2-0 (det) - E6: C4 3 EXIT pred retry.det_without_cut_1/2-0 (det) - E8: C2 2 EXIT pred retry.det_without_cut/2-0 (det) - E9: C6 2 CALL pred retry.det_with_cut/2-0 (det) - E10: C6 2 COND pred retry.det_with_cut/2-0 (det) - E11: C7 3 CALL pred retry.det_with_cut_1/2-0 (nondet) - E17: C7 3 DISJ pred retry.det_with_cut_1/2-0 (nondet) - E18: C9 4 CALL pred retry.det_with_cut_2/2-0 (det) + E2: C2 CALL pred retry.det_without_cut/2-0 (det) + E3: C3 CALL func int.+/2-0 (det) + E4: C3 EXIT func int.+/2-0 (det) + E5: C4 CALL pred retry.det_without_cut_1/2-0 (det) + E7: C5 CALL pred retry.det_without_cut_2/2-0 (det) + E14: C5 EXIT pred retry.det_without_cut_2/2-0 (det) + E15: C8 CALL func int.*/2-0 (det) + E16: C8 EXIT func int.*/2-0 (det) + E6: C4 EXIT pred retry.det_without_cut_1/2-0 (det) + E8: C2 EXIT pred retry.det_without_cut/2-0 (det) + E9: C6 CALL pred retry.det_with_cut/2-0 (det) + E10: C6 COND pred retry.det_with_cut/2-0 (det) + E11: C7 CALL pred retry.det_with_cut_1/2-0 (nondet) + E17: C7 DISJ pred retry.det_with_cut_1/2-0 (nondet) + E18: C9 CALL pred retry.det_with_cut_2/2-0 (det) mdb> delete * 0: E stop interface pred retry.det_with_cut_2/2-0 (det) mdb> break nondet 0: + stop interface pred retry.nondet/2-0 (multi) mdb> continue - E19: C10 3 CALL pred retry.nondet/2-0 (multi) + E19: C10 CALL pred retry.nondet/2-0 (multi) mdb> print * X0 (arg 1) 4 mdb> break nondet_2 1: + stop interface pred retry.nondet_2/2-0 (det) mdb> continue - E20: C11 4 CALL pred retry.nondet_2/2-0 (det) + E20: C11 CALL pred retry.nondet_2/2-0 (det) mdb> retry 1 - E19: C10 3 CALL pred retry.nondet/2-0 (multi) + E19: C10 CALL pred retry.nondet/2-0 (multi) mdb> print * X0 (arg 1) 4 mdb> delete * @@ -111,51 +111,51 @@ mdb> continue 9 40 41 50 51 - E21: C12 2 CALL pred retry.fib/2-0 (det) + E21: C12 CALL pred retry.fib/2-0 (det) mdb> print * N (arg 1) 15 mdb> continue - E22: C13 3 CALL pred retry.fib/2-0 (det) + E22: C13 CALL pred retry.fib/2-0 (det) mdb> print * N (arg 1) 14 mdb> continue - E23: C14 4 CALL pred retry.fib/2-0 (det) + E23: C14 CALL pred retry.fib/2-0 (det) mdb> continue - E24: C15 5 CALL pred retry.fib/2-0 (det) + E24: C15 CALL pred retry.fib/2-0 (det) mdb> step - E25: C15 5 COND pred retry.fib/2-0 (det) + E25: C15 COND pred retry.fib/2-0 (det) mdb> retry 2 - E22: C13 3 CALL pred retry.fib/2-0 (det) + E22: C13 CALL pred retry.fib/2-0 (det) mdb> print * N (arg 1) 14 mdb> next - E26: C13 3 COND pred retry.fib/2-0 (det) + E26: C13 COND pred retry.fib/2-0 (det) mdb> retry 1 - E21: C12 2 CALL pred retry.fib/2-0 (det) + E21: C12 CALL pred retry.fib/2-0 (det) mdb> finish -n - E27: C12 2 EXIT pred retry.fib/2-0 (det) + E27: C12 EXIT pred retry.fib/2-0 (det) mdb> delete * 0: E stop interface pred retry.fib/2-0 (det) mdb> break t 0: + stop interface pred retry.t/3-0 (nondet) mdb> continue 987 - E28: C16 3 CALL pred retry.t/3-0 (nondet) + E28: C16 CALL pred retry.t/3-0 (nondet) mdb> table t 1 2 call table does not contain 1 in argument position 1. mdb> finish marker executed: t 1 2 - E29: C16 3 EXIT pred retry.t/3-0 (nondet) + E29: C16 EXIT pred retry.t/3-0 (nondet) mdb> table t 1 2 <1, 2>: incomplete answer #1: <120> mdb> retry - E28: C16 3 CALL pred retry.t/3-0 (nondet) + E28: C16 CALL pred retry.t/3-0 (nondet) mdb> table t 1 2 <1, 2>: inactive mdb> finish marker executed: t 1 2 - E29: C16 3 EXIT pred retry.t/3-0 (nondet) + E29: C16 EXIT pred retry.t/3-0 (nondet) mdb> table t 1 2 <1, 2>: incomplete answer #1: <120> diff --git a/tests/debugger/tabled_read.exp b/tests/debugger/tabled_read.exp index 28a77bfee..945f49839 100644 --- a/tests/debugger/tabled_read.exp +++ b/tests/debugger/tabled_read.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred tabled_read.main/2-0 (det) tabled_read.m:17 + E1: C1 CALL pred tabled_read.main/2-0 (det) tabled_read.m:17 mdb> echo on Command echo enabled. mdb> register --quiet @@ -12,22 +12,22 @@ mdb> break tabled_read__test mdb> table_io start I/O tabling started. mdb> continue - E2: C2 3 CALL pred tabled_read.test/5-0 (det) + E2: C2 CALL pred tabled_read.test/5-0 (det) mdb> finish -n - E3: C2 3 EXIT pred tabled_read.test/5-0 (det) + E3: C2 EXIT pred tabled_read.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 N (arg 3) 123 DCG_2 (arg 5) state('<>') mdb> retry -o -a - E2: C2 3 CALL pred tabled_read.test/5-0 (det) + E2: C2 CALL pred tabled_read.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 DCG_0 (arg 4) state('<>') mdb> finish -n - E3: C2 3 EXIT pred tabled_read.test/5-0 (det) + E3: C2 EXIT pred tabled_read.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 @@ -38,18 +38,18 @@ I/O tabling stopped. mdb> continue 123 456 - E4: C3 3 CALL pred tabled_read.test/5-0 (det) + E4: C3 CALL pred tabled_read.test/5-0 (det) mdb> finish -n - E5: C3 3 EXIT pred tabled_read.test/5-0 (det) + E5: C3 EXIT pred tabled_read.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 N (arg 3) 789 DCG_2 (arg 5) state('<>') mdb> retry -f - E4: C3 3 CALL pred tabled_read.test/5-0 (det) + E4: C3 CALL pred tabled_read.test/5-0 (det) mdb> finish -n - E6: C3 3 EXIT pred tabled_read.test/5-0 (det) + E6: C3 EXIT pred tabled_read.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 diff --git a/tests/debugger/tabled_read_decl.exp b/tests/debugger/tabled_read_decl.exp index f9015a83b..ab8606a38 100644 --- a/tests/debugger/tabled_read_decl.exp +++ b/tests/debugger/tabled_read_decl.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred tabled_read_decl.main/2-0 (det) tabled_read_decl.m:17 + E1: C1 CALL pred tabled_read_decl.main/2-0 (det) tabled_read_decl.m:17 mdb> echo on Command echo enabled. mdb> register --quiet @@ -12,22 +12,22 @@ mdb> break tabled_read_decl__test mdb> table_io start I/O tabling started. mdb> continue - E2: C2 3 CALL pred tabled_read_decl.test/5-0 (det) + E2: C2 CALL pred tabled_read_decl.test/5-0 (det) mdb> finish -n - E3: C2 3 EXIT pred tabled_read_decl.test/5-0 (det) + E3: C2 EXIT pred tabled_read_decl.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 N (arg 3) 123 DCG_2 (arg 5) state('<>') mdb> retry -o -a - E2: C2 3 CALL pred tabled_read_decl.test/5-0 (det) + E2: C2 CALL pred tabled_read_decl.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 DCG_0 (arg 4) state('<>') mdb> finish -n - E3: C2 3 EXIT pred tabled_read_decl.test/5-0 (det) + E3: C2 EXIT pred tabled_read_decl.test/5-0 (det) mdb> print * Stream (arg 1) '<>' SoFar (arg 2) 0 @@ -37,9 +37,9 @@ mdb> break tabled_read_decl__poly_test 1: + stop interface pred tabled_read_decl.poly_test/6-0 (det) mdb> continue 123 - E4: C3 3 CALL pred tabled_read_decl.poly_test/6-0 (det) + E4: C3 CALL pred tabled_read_decl.poly_test/6-0 (det) mdb> finish -n - E5: C3 3 EXIT pred tabled_read_decl.poly_test/6-0 (det) + E5: C3 EXIT pred tabled_read_decl.poly_test/6-0 (det) mdb> print * Stream (arg 1) '<>' Unused (arg 2) ['a', 'b', 'c'] @@ -47,9 +47,9 @@ mdb> print * N (arg 4) 456 DCG_2 (arg 6) state('<>') mdb> retry -o -a - E4: C3 3 CALL pred tabled_read_decl.poly_test/6-0 (det) + E4: C3 CALL pred tabled_read_decl.poly_test/6-0 (det) mdb> finish -n - E5: C3 3 EXIT pred tabled_read_decl.poly_test/6-0 (det) + E5: C3 EXIT pred tabled_read_decl.poly_test/6-0 (det) mdb> print * Stream (arg 1) '<>' Unused (arg 2) ['a', 'b', 'c'] @@ -63,7 +63,7 @@ mdb> break part_2 0: + stop interface pred tabled_read_decl.part_2/3-0 (det) mdb> continue 456 - E6: C4 2 CALL pred tabled_read_decl.part_2/3-0 (det) + E6: C4 CALL pred tabled_read_decl.part_2/3-0 (det) mdb> table_io end I/O tabling stopped. mdb> print action 0 diff --git a/tests/debugger/tabled_read_unitize.exp b/tests/debugger/tabled_read_unitize.exp index e60b2eb9b..af53dbc06 100644 --- a/tests/debugger/tabled_read_unitize.exp +++ b/tests/debugger/tabled_read_unitize.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred tabled_read_unitize.main/2-0 (det) tabled_read_unitize.m:17 + E1: C1 CALL pred tabled_read_unitize.main/2-0 (det) tabled_read_unitize.m:17 mdb> echo on Command echo enabled. mdb> register --quiet @@ -10,11 +10,11 @@ I/O tabling started. mdb> break unitize 0: + stop interface pred tabled_read_unitize.unitize/4-0 (det) mdb> continue - E2: C2 2 CALL pred tabled_read_unitize.unitize/4-0 (det) + E2: C2 CALL pred tabled_read_unitize.unitize/4-0 (det) mdb> finish -a - E3: C2 2 EXIT pred tabled_read_unitize.unitize/4-0 (det) + E3: C2 EXIT pred tabled_read_unitize.unitize/4-0 (det) mdb> retry -f - E2: C2 2 CALL pred tabled_read_unitize.unitize/4-0 (det) + E2: C2 CALL pred tabled_read_unitize.unitize/4-0 (det) mdb> continue -S 123 4506 diff --git a/tests/debugger/type_desc_test.exp b/tests/debugger/type_desc_test.exp index c6798a3b9..f8b0e3fde 100644 --- a/tests/debugger/type_desc_test.exp +++ b/tests/debugger/type_desc_test.exp @@ -1,4 +1,4 @@ - E1: C1 1 CALL pred type_desc_test.main/2-0 (det) type_desc_test.m:21 + E1: C1 CALL pred type_desc_test.main/2-0 (det) type_desc_test.m:21 mdb> echo on Command echo enabled. mdb> context none @@ -9,33 +9,33 @@ mdb> break get_type_desc mdb> break get_type_ctor_desc 1: + stop interface func type_desc_test.get_type_ctor_desc/1-0 (det) mdb> continue - E2: C2 3 CALL func type_desc_test.get_type_desc/1-0 (det) + E2: C2 CALL func type_desc_test.get_type_desc/1-0 (det) mdb> finish - E3: C2 3 EXIT func type_desc_test.get_type_desc/1-0 (det) + E3: C2 EXIT func type_desc_test.get_type_desc/1-0 (det) mdb> print * Val (arg 1) [1, 2] HeadVar__2 list.list(int) mdb> continue type_desc: list.list(int) - E4: C3 3 CALL func type_desc_test.get_type_ctor_desc/1-0 (det) + E4: C3 CALL func type_desc_test.get_type_ctor_desc/1-0 (det) mdb> finish - E5: C3 3 EXIT func type_desc_test.get_type_ctor_desc/1-0 (det) + E5: C3 EXIT func type_desc_test.get_type_ctor_desc/1-0 (det) mdb> print * TypeDesc (arg 1) list.list(int) HeadVar__2 list.list/1 mdb> continue type_ctor_desc: list.list/1 - E6: C4 3 CALL func type_desc_test.get_type_desc/1-0 (det) + E6: C4 CALL func type_desc_test.get_type_desc/1-0 (det) mdb> finish - E7: C4 3 EXIT func type_desc_test.get_type_desc/1-0 (det) + E7: C4 EXIT func type_desc_test.get_type_desc/1-0 (det) mdb> print * Val (arg 1) ["one", "two", "three"] HeadVar__2 list.list(string) mdb> continue type_desc: list.list(string) - E8: C5 3 CALL func type_desc_test.get_type_ctor_desc/1-0 (det) + E8: C5 CALL func type_desc_test.get_type_ctor_desc/1-0 (det) mdb> finish - E9: C5 3 EXIT func type_desc_test.get_type_ctor_desc/1-0 (det) + E9: C5 EXIT func type_desc_test.get_type_ctor_desc/1-0 (det) mdb> print * TypeDesc (arg 1) list.list(string) HeadVar__2 list.list/1 diff --git a/trace/mercury_trace_internal.c b/trace/mercury_trace_internal.c index 2c3a84d9d..175d2cbff 100644 --- a/trace/mercury_trace_internal.c +++ b/trace/mercury_trace_internal.c @@ -7084,8 +7084,7 @@ MR_trace_event_print_internal_report(MR_Event_Info *event_info) fprintf(MR_mdb_out, "%8s: ", buf); snprintf(buf, 64, "C%ld", (long) call_num); fprintf(MR_mdb_out, "%6s ", buf); - fprintf(MR_mdb_out, "%2ld %s", - (long) event_info->MR_call_depth, + fprintf(MR_mdb_out, "%s", MR_port_names[event_info->MR_trace_port]); } else { fprintf(MR_mdb_out, "%8ld: %6ld %2ld %s",