[m-rev.] trivial diff: re-enable test case, but without contexts
Mark Anthony BROWN
dougl at cs.mu.OZ.AU
Thu May 3 17:24:27 AEST 2001
Estimated hours taken: 0.5
Branches: main
The test case tests/debugger/declarative/output_term_dep was disabled
because mdb was reporting incorrect line numbers when the option
'--opt-space' was given. This change improves the testing a bit.
tests/debugger/declarative/Mmakefile:
tests/debugger/declarative/output_term_dep.exp:
tests/debugger/declarative/output_term_dep.exp2:
tests/debugger/declarative/output_term_dep.inp:
Enable this test case, but add a 'context none' command so that
line numbers don't affect the output.
tests/debugger/Mmakefile:
tests/debugger/output_term_dep.exp:
tests/debugger/output_term_dep.exp2:
tests/debugger/output_term_dep.inp:
tests/debugger/output_term_dep.m:
Perform a similar test here (without the 'context none'), since it
exposes a bug in mdb. This test is currently disabled.
Index: tests/debugger/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/Mmakefile,v
retrieving revision 1.48
diff -u -r1.48 Mmakefile
--- tests/debugger/Mmakefile 2000/12/18 07:43:01 1.48
+++ tests/debugger/Mmakefile 2001/05/03 07:06:11
@@ -40,6 +40,10 @@
shallow \
tabled_read
+# mdb reports incorrect line numbers when the following test is compiled
+# with --opt-space
+# output_term_dep
+
# The following tests are disabled, since currently they get some spurious
# failures if readline support is enabled:
# interactive
@@ -196,6 +200,10 @@
multi_parameter.out: multi_parameter multi_parameter.inp
$(MDB) ./multi_parameter < multi_parameter.inp 2>&1 | \
sed 's/char.m:[0-9]*/char.m:NNNN/g' > multi_parameter.out
+
+output_term_dep.out: output_term_dep output_term_dep.inp
+ $(MDB) ./output_term_dep < output_term_dep.inp \
+ > output_term_dep.out 2>&1
queens.out: queens queens.inp
$(MDB) ./queens < queens.inp > queens.out 2>&1
Index: tests/debugger/output_term_dep.exp
===================================================================
RCS file: output_term_dep.exp
diff -N output_term_dep.exp
--- /dev/null Wed Apr 11 00:52:25 2001
+++ output_term_dep.exp Thu May 3 16:45:44 2001
@@ -0,0 +1,146 @@
+ 1: 1 1 CALL pred output_term_dep:main/2-0 (det) output_term_dep.m:9
+mdb> echo on
+Command echo enabled.
+mdb> scroll off
+Scroll control disabled.
+mdb> continue -a
+ 2: 2 2 CALL pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+ 3: 3 3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 4: 4 4 CALL pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+ 5: 4 4 EXIT pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+ 6: 5 4 CALL pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+ 7: 5 4 EXIT pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+ 8: 6 4 CALL pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+ 9: 6 4 EXIT pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+ 10: 3 3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+5
+8
+13
+ 11: 2 2 EXIT pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+ 12: 7 2 CALL pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+ 13: 8 3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 14: 9 4 CALL pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+ 15: 9 4 EXIT pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+ 16: 10 4 CALL pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+ 17: 10 4 EXIT pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+ 18: 11 4 CALL pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+ 19: 11 4 EXIT pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+ 20: 8 3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+[[1, 2, 3], [], [99]]
+ 21: 7 2 EXIT pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+ 22: 12 2 CALL pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+ 23: 13 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 24: 13 3 THEN pred output_term_dep:r/2-0 (det) t; output_term_dep.m:109
+ 25: 13 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+999
+ 26: 14 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 27: 14 3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+ 28: 15 4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 29: 15 4 SWTC pred output_term_dep:ra/1-0 (semidet) s1; output_term_dep.m:127
+ 30: 15 4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 31: 14 3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+ 32: 16 4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 33: 16 4 FAIL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 34: 14 3 ELSE pred output_term_dep:r/2-0 (det) e;t;e; output_term_dep.m:118
+ 35: 14 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+43
+ 36: 17 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 37: 17 3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+ 38: 18 4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 39: 18 4 SWTC pred output_term_dep:ra/1-0 (semidet) s2; output_term_dep.m:128
+ 40: 18 4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 41: 17 3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+ 42: 19 4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 43: 19 4 EXIT pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 44: 17 3 THEN pred output_term_dep:r/2-0 (det) e;t;t; output_term_dep.m:116
+ 45: 20 4 CALL pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+ 46: 20 4 EXIT pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+ 47: 17 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+57
+ 48: 21 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 49: 21 3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+ 50: 22 4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 51: 22 4 FAIL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 52: 21 3 ELSE pred output_term_dep:r/2-0 (det) e;e; output_term_dep.m:121
+ 53: 23 4 CALL pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+ 54: 23 4 EXIT pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+ 55: 21 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+-1
+ 56: 12 2 EXIT pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+ 57: 24 2 CALL pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+ 58: 25 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 59: 25 3 SWTC pred output_term_dep:s/3-0 (nondet) s1; output_term_dep.m:169
+ 60: 25 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d1; output_term_dep.m:171
+ 61: 26 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+ 62: 26 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+ 63: 25 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+ 64: 27 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 65: 27 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 66: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 67: 28 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 68: 28 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 69: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 70: 25 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+ 71: 29 4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 72: 29 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 73: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 74: 30 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 75: 30 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 76: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 77: 25 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d2; output_term_dep.m:173
+ 78: 31 4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+ 79: 31 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+ 80: 25 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+ 81: 32 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 82: 32 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 83: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 84: 33 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 85: 33 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 86: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 87: 25 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+ 88: 34 4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 89: 34 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 90: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 91: 35 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 92: 35 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 93: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 94: 25 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 95: 24 2 ELSE pred output_term_dep:test4/2-0 (det) c1;e; output_term_dep.m:155
+no
+ 96: 36 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 97: 36 3 SWTC pred output_term_dep:s/3-0 (nondet) s2; output_term_dep.m:184
+ 98: 36 3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d1; output_term_dep.m:182
+ 99: 37 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+ 100: 37 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+ 101: 38 4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+ 102: 38 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+ 103: 36 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 104: 39 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 105: 39 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 106: 36 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 107: 36 3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d2; output_term_dep.m:185
+ 108: 40 4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+ 109: 40 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+ 110: 41 4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+ 111: 41 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+ 112: 36 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 113: 42 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 114: 42 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 115: 36 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 116: 36 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 117: 24 2 ELSE pred output_term_dep:test4/2-0 (det) c2;e; output_term_dep.m:163
+no
+ 118: 24 2 EXIT pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+ 119: 43 2 CALL pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+ 120: 44 3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 121: 45 4 CALL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+ 122: 45 4 FAIL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+ 123: 46 4 CALL pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+ 124: 46 4 EXIT pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+ 125: 47 4 CALL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+ 126: 47 4 FAIL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+ 127: 44 3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 128: 43 2 THEN pred output_term_dep:test5/2-0 (det) t; output_term_dep.m:216
+77
+ 129: 43 2 EXIT pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+ 130: 1 1 EXIT pred output_term_dep:main/2-0 (det) output_term_dep.m:9
Index: tests/debugger/output_term_dep.exp2
===================================================================
RCS file: output_term_dep.exp2
diff -N output_term_dep.exp2
--- /dev/null Wed Apr 11 00:52:25 2001
+++ output_term_dep.exp2 Thu May 3 17:01:55 2001
@@ -0,0 +1,186 @@
+ 1: 1 1 CALL pred output_term_dep:main/2-0 (det) output_term_dep.m:9
+mdb> echo on
+Command echo enabled.
+mdb> scroll off
+Scroll control disabled.
+mdb> continue -a
+ 2: 2 2 CALL pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+ 3: 3 3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 4: 4 4 CALL pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+ 5: 4 4 EXIT pred output_term_dep:pa/1-0 (det) output_term_dep.m:42 (output_term_dep.m:35)
+ 6: 5 4 CALL pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+ 7: 5 4 EXIT pred output_term_dep:pb/1-0 (det) output_term_dep.m:47 (output_term_dep.m:36)
+ 8: 6 4 CALL pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+ 9: 6 4 EXIT pred output_term_dep:pc/1-0 (det) output_term_dep.m:52 (output_term_dep.m:37)
+ 10: 3 3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 11: 7 3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:24)
+5 12: 7 3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:24)
+ 13: 8 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:25)
+
+ 14: 8 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:25)
+ 15: 9 3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:26)
+8 16: 9 3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:26)
+ 17: 10 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:27)
+
+ 18: 10 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:27)
+ 19: 11 3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:28)
+13 20: 11 3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:28)
+ 21: 12 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:29)
+
+ 22: 12 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:29)
+ 23: 2 2 EXIT pred output_term_dep:test1/2-0 (det) output_term_dep.m:22 (output_term_dep.m:13)
+ 24: 13 2 CALL pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+ 25: 14 3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 26: 15 4 CALL pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+ 27: 15 4 EXIT pred output_term_dep:qa/1-0 (det) output_term_dep.m:73 (output_term_dep.m:66)
+ 28: 16 4 CALL pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+ 29: 16 4 EXIT pred output_term_dep:qb/1-0 (det) output_term_dep.m:78 (output_term_dep.m:67)
+ 30: 17 4 CALL pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+ 31: 17 4 EXIT pred output_term_dep:qc/1-0 (det) output_term_dep.m:83 (output_term_dep.m:68)
+ 32: 14 3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 33: 18 3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:59)
+[[1, 2, 3], [], [99]] 34: 18 3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:59)
+ 35: 19 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:60)
+
+ 36: 19 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:60)
+ 37: 13 2 EXIT pred output_term_dep:test2/2-0 (det) output_term_dep.m:57 (output_term_dep.m:14)
+ 38: 20 2 CALL pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+ 39: 21 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 40: 21 3 THEN pred output_term_dep:r/2-0 (det) t; output_term_dep.m:109
+ 41: 21 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 42: 22 3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:90)
+999 43: 22 3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:90)
+ 44: 23 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:91)
+
+ 45: 23 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:91)
+ 46: 24 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 47: 24 3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+ 48: 25 4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 49: 25 4 SWTC pred output_term_dep:ra/1-0 (semidet) s1; output_term_dep.m:127
+ 50: 25 4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 51: 24 3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+ 52: 26 4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 53: 26 4 FAIL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 54: 24 3 ELSE pred output_term_dep:r/2-0 (det) e;t;e; output_term_dep.m:118
+ 55: 24 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 56: 27 3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:93)
+43 57: 27 3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:93)
+ 58: 28 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:94)
+
+ 59: 28 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:94)
+ 60: 29 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 61: 29 3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+ 62: 30 4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 63: 30 4 SWTC pred output_term_dep:ra/1-0 (semidet) s2; output_term_dep.m:128
+ 64: 30 4 EXIT pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 65: 29 3 THEN pred output_term_dep:r/2-0 (det) e;t; output_term_dep.m:117
+ 66: 31 4 CALL pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 67: 31 4 EXIT pred output_term_dep:rb/1-0 (semidet) output_term_dep.m:133 (output_term_dep.m:114)
+ 68: 29 3 THEN pred output_term_dep:r/2-0 (det) e;t;t; output_term_dep.m:116
+ 69: 32 4 CALL pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+ 70: 32 4 EXIT pred output_term_dep:rc/1-0 (det) output_term_dep.m:138 (output_term_dep.m:116)
+ 71: 29 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 72: 33 3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:96)
+57 73: 33 3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:96)
+ 74: 34 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:97)
+
+ 75: 34 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:97)
+ 76: 35 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 77: 35 3 ELSE pred output_term_dep:r/2-0 (det) e; output_term_dep.m:120
+ 78: 36 4 CALL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 79: 36 4 FAIL pred output_term_dep:ra/1-0 (semidet) output_term_dep.m:127 (output_term_dep.m:111)
+ 80: 35 3 ELSE pred output_term_dep:r/2-0 (det) e;e; output_term_dep.m:121
+ 81: 37 4 CALL pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+ 82: 37 4 EXIT pred output_term_dep:rd/1-0 (det) output_term_dep.m:143 (output_term_dep.m:121)
+ 83: 35 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 84: 38 3 CALL pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:99)
+-1 85: 38 3 EXIT pred io:write/3-0 (det) io.m:2024 (output_term_dep.m:99)
+ 86: 39 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:100)
+
+ 87: 39 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:100)
+ 88: 20 2 EXIT pred output_term_dep:test3/2-0 (det) output_term_dep.m:88 (output_term_dep.m:15)
+ 89: 40 2 CALL pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+ 90: 41 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 91: 41 3 SWTC pred output_term_dep:s/3-0 (nondet) s1; output_term_dep.m:169
+ 92: 41 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d1; output_term_dep.m:171
+ 93: 42 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+ 94: 42 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+ 95: 41 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+ 96: 43 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 97: 43 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 98: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 99: 44 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 100: 44 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 101: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 102: 41 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+ 103: 45 4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 104: 45 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 105: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 106: 46 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 107: 46 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 108: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 109: 41 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c1;d2; output_term_dep.m:173
+ 110: 47 4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+ 111: 47 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:173)
+ 112: 41 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d1; output_term_dep.m:176
+ 113: 48 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 114: 48 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 115: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 116: 49 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 117: 49 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 118: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 119: 41 3 DISJ pred output_term_dep:s/3-0 (nondet) s1;c2;d2; output_term_dep.m:178
+ 120: 50 4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 121: 50 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 122: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 123: 51 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 124: 51 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:151)
+ 125: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 126: 41 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 127: 40 2 ELSE pred output_term_dep:test4/2-0 (det) c1;e; output_term_dep.m:155
+ 128: 52 3 CALL pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:155)
+no
+ 129: 52 3 EXIT pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:155)
+ 130: 53 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 131: 53 3 SWTC pred output_term_dep:s/3-0 (nondet) s2; output_term_dep.m:184
+ 132: 53 3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d1; output_term_dep.m:182
+ 133: 54 4 CALL pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+ 134: 54 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:182)
+ 135: 55 4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+ 136: 55 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+ 137: 53 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 138: 56 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 139: 56 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 140: 53 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 141: 53 3 DISJ pred output_term_dep:s/3-0 (nondet) s2;d2; output_term_dep.m:185
+ 142: 57 4 CALL pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+ 143: 57 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+ 144: 58 4 CALL pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+ 145: 58 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:186)
+ 146: 53 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 147: 59 3 CALL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 148: 59 3 FAIL pred output_term_dep:sd/1-0 (semidet) output_term_dep.m:207 (output_term_dep.m:159)
+ 149: 53 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 150: 53 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 151: 40 2 ELSE pred output_term_dep:test4/2-0 (det) c2;e; output_term_dep.m:163
+ 152: 60 3 CALL pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:163)
+no
+ 153: 60 3 EXIT pred io:write_string/3-0 (det) io.m:3544 (output_term_dep.m:163)
+ 154: 40 2 EXIT pred output_term_dep:test4/2-0 (det) output_term_dep.m:148 (output_term_dep.m:16)
+ 155: 61 2 CALL pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+ 156: 62 3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 157: 63 4 CALL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+ 158: 63 4 FAIL pred output_term_dep:ta/1-0 (semidet) output_term_dep.m:233 (output_term_dep.m:226)
+ 159: 64 4 CALL pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+ 160: 64 4 EXIT pred output_term_dep:tb/1-0 (det) output_term_dep.m:238 (output_term_dep.m:227)
+ 161: 65 4 CALL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+ 162: 65 4 FAIL pred output_term_dep:tc/1-0 (semidet) output_term_dep.m:243 (output_term_dep.m:228)
+ 163: 62 3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 164: 61 2 THEN pred output_term_dep:test5/2-0 (det) t; output_term_dep.m:216
+ 165: 66 3 CALL pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:216)
+77 166: 66 3 EXIT pred io:write_int/3-0 (det) io.m:3565 (output_term_dep.m:216)
+ 167: 67 3 CALL pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:217)
+
+ 168: 67 3 EXIT pred io:nl/2-0 (det) io.m:1931 (output_term_dep.m:217)
+ 169: 61 2 EXIT pred output_term_dep:test5/2-0 (det) output_term_dep.m:218 (output_term_dep.m:17)
+ 170: 1 1 EXIT pred output_term_dep:main/2-0 (det) output_term_dep.m:9
Index: tests/debugger/output_term_dep.inp
===================================================================
RCS file: output_term_dep.inp
diff -N output_term_dep.inp
--- /dev/null Wed Apr 11 00:52:25 2001
+++ output_term_dep.inp Thu May 3 16:45:44 2001
@@ -0,0 +1,3 @@
+echo on
+scroll off
+continue -a
Index: tests/debugger/output_term_dep.m
===================================================================
RCS file: output_term_dep.m
diff -N output_term_dep.m
--- /dev/null Wed Apr 11 00:52:25 2001
+++ output_term_dep.m Thu May 3 16:37:46 2001
@@ -0,0 +1,246 @@
+:- module output_term_dep.
+:- interface.
+:- import_module io.
+:- pred main(io__state::di, io__state::uo) is det.
+
+:- implementation.
+:- import_module list.
+
+main -->
+ %
+ % Test cases which track an output subterm.
+ %
+ test1, % basic det conjunction
+ test2, % construction unification
+ test3, % if-then-else
+ test4, % switch and disjunction
+ test5. % negation
+
+%-----------------------------------------------------------------------------%
+
+:- pred test1(io__state::di, io__state::uo) is det.
+test1 -->
+ { p(A, B, C) },
+ io__write_int(A),
+ io__nl,
+ io__write_int(B),
+ io__nl,
+ io__write_int(C),
+ io__nl.
+
+:- pred p(int, int, int).
+:- mode p(out, out, out) is det.
+
+p(A, B, C) :- % tracking subterm B
+ pa(A),
+ pb(B),
+ pc(C).
+
+:- pred pa(int).
+:- mode pa(out) is det.
+
+pa(5).
+
+:- pred pb(int).
+:- mode pb(out) is det.
+
+pb(8).
+
+:- pred pc(int).
+:- mode pc(out) is det.
+
+pc(13).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test2(io__state::di, io__state::uo) is det.
+test2 -->
+ { q(X) },
+ io__write(X),
+ io__nl.
+
+:- pred q(list(list(int))).
+:- mode q(out) is det.
+
+q([A, B, C]) :- % tracking subterm B
+ qa(A),
+ qb(B),
+ qc(C).
+
+:- pred qa(list(int)).
+:- mode qa(out) is det.
+
+qa([1, 2, 3]).
+
+:- pred qb(list(int)).
+:- mode qb(out) is det.
+
+qb([]).
+
+:- pred qc(list(int)).
+:- mode qc(out) is det.
+
+qc([99]).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test3(io__state::di, io__state::uo) is det.
+test3 -->
+ { r(1, W) },
+ io__write(W),
+ io__nl,
+ { r(2, X) },
+ io__write(X),
+ io__nl,
+ { r(3, Y) },
+ io__write(Y),
+ io__nl,
+ { r(4, Z) },
+ io__write(Z),
+ io__nl.
+
+:- pred r(int, int).
+:- mode r(in, out) is det.
+
+r(N, P) :-
+ (
+ N = 1
+ ->
+ P = 999
+ ;
+ ra(N)
+ ->
+ (
+ rb(N)
+ ->
+ rc(P)
+ ;
+ P = 43
+ )
+ ;
+ rd(P)
+ ).
+
+:- pred ra(int).
+:- mode ra(in) is semidet.
+
+ra(2).
+ra(3).
+
+:- pred rb(int).
+:- mode rb(in) is semidet.
+
+rb(3).
+
+:- pred rc(int).
+:- mode rc(out) is det.
+
+rc(57).
+
+:- pred rd(int).
+:- mode rd(out) is det.
+
+rd(-1).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test4(io__state::di, io__state::uo) is det.
+test4 -->
+ (
+ { s(1, _, X) },
+ { sd(X) }
+ ->
+ io__write_string("yes\n")
+ ;
+ io__write_string("no\n")
+ ),
+ (
+ { s(2, _, Y) },
+ { sd(Y) }
+ ->
+ io__write_string("yes\n")
+ ;
+ io__write_string("no\n")
+ ).
+
+:- pred s(int, int, int).
+:- mode s(in, out, out) is nondet.
+
+s(1, J, K) :-
+ (
+ sa(J)
+ ;
+ sb(J)
+ ),
+ (
+ sa(K)
+ ;
+ sc(K)
+ ).
+s(2, J, K) :-
+ (
+ sa(J),
+ sb(K)
+ ;
+ sb(J),
+ sc(K)
+ ).
+
+:- pred sa(int).
+:- mode sa(out) is det.
+
+sa(7).
+
+:- pred sb(int).
+:- mode sb(out) is det.
+
+sb(38).
+
+:- pred sc(int).
+:- mode sc(out) is det.
+
+sc(155).
+
+:- pred sd(int).
+:- mode sd(in) is semidet.
+
+sd(-3).
+
+%-----------------------------------------------------------------------------%
+
+:- pred test5(io__state::di, io__state::uo) is det.
+test5 -->
+ (
+ { t(1, K) }
+ ->
+ io__write_int(K),
+ io__nl
+ ;
+ io__write_string("no\n")
+ ).
+
+:- pred t(int, int).
+:- mode t(in, out) is semidet.
+
+t(J, K) :-
+ \+ ta(J),
+ tb(K),
+ \+ tc(K).
+
+:- pred ta(int).
+:- mode ta(in) is semidet.
+
+ta(0).
+
+:- pred tb(int).
+:- mode tb(out) is det.
+
+tb(77).
+
+:- pred tc(int).
+:- mode tc(in) is semidet.
+
+tc(-654).
+
+%-----------------------------------------------------------------------------%
+
Index: tests/debugger/declarative/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/Mmakefile,v
retrieving revision 1.28
diff -u -r1.28 Mmakefile
--- tests/debugger/declarative/Mmakefile 2001/05/01 08:13:52 1.28
+++ tests/debugger/declarative/Mmakefile 2001/05/03 06:18:15
@@ -36,6 +36,7 @@
neg_conj \
negation \
oracle_db \
+ output_term_dep \
propositional \
queens \
small \
@@ -49,7 +50,6 @@
NONWORKING_DECLARATIVE_PROGS= \
higher_order \
ite_2 \
- output_term_dep \
solutions
MCFLAGS = --trace decl
Index: tests/debugger/declarative/output_term_dep.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/output_term_dep.exp,v
retrieving revision 1.1
diff -u -r1.1 output_term_dep.exp
--- tests/debugger/declarative/output_term_dep.exp 2001/04/23 16:26:31 1.1
+++ tests/debugger/declarative/output_term_dep.exp 2001/05/03 06:33:57
@@ -2,6 +2,8 @@
mdb> echo on
Command echo enabled.
mdb> register --quiet
+mdb> context none
+Contexts will not be printed.
mdb> break p
0: + stop interface pred output_term_dep:p/3-0 (det)
mdb> break q
@@ -13,9 +15,9 @@
mdb> break t
4: + stop interface pred output_term_dep:t/2-0 (semidet)
mdb> continue
- 3: 3 3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 3: 3 3 CALL pred output_term_dep:p/3-0 (det)
mdb> finish
- 10: 3 3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 10: 3 3 EXIT pred output_term_dep:p/3-0 (det)
mdb> dd
p(5, 8, 13)
Valid? browse 2
@@ -29,14 +31,14 @@
Found incorrect contour:
p(5, 8, 13)
Is this a bug? yes
- 10: 3 3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 10: 3 3 EXIT pred output_term_dep:p/3-0 (det)
mdb> continue
5
8
13
- 13: 8 3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 13: 8 3 CALL pred output_term_dep:q/1-0 (det)
mdb> finish
- 20: 8 3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 20: 8 3 EXIT pred output_term_dep:q/1-0 (det)
mdb> dd
q([[1, 2, 3], [], [99]])
Valid? browse 1
@@ -50,12 +52,12 @@
Found incorrect contour:
q([[1, 2, 3], [], [99]])
Is this a bug? yes
- 20: 8 3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 20: 8 3 EXIT pred output_term_dep:q/1-0 (det)
mdb> continue
[[1, 2, 3], [], [99]]
- 23: 13 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 23: 13 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 26: 13 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 26: 13 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(1, 999)
Valid? browse 2
@@ -63,12 +65,12 @@
Found incorrect contour:
r(1, 999)
Is this a bug? yes
- 26: 13 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 26: 13 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
999
- 27: 14 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 27: 14 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 39: 14 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 39: 14 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(2, 43)
Valid? browse 2
@@ -81,12 +83,12 @@
Found incorrect contour:
r(2, 43)
Is this a bug? yes
- 39: 14 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 39: 14 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
43
- 40: 17 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 40: 17 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 54: 17 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 54: 17 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(3, 57)
Valid? browse 2
@@ -100,12 +102,12 @@
Found incorrect contour:
r(3, 57)
Is this a bug? yes
- 54: 17 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 54: 17 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
57
- 55: 21 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 55: 21 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 64: 21 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 64: 21 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(4, -1)
Valid? browse 2
@@ -118,12 +120,12 @@
Found incorrect contour:
r(4, -1)
Is this a bug? yes
- 64: 21 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 64: 21 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
-1
- 68: 25 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 68: 25 3 CALL pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 76: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 76: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 7, 7)
Valid? browse 2
@@ -133,13 +135,13 @@
Found incorrect contour:
sa(7)
Is this a bug? yes
- 72: 26 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+ 72: 26 4 EXIT pred output_term_dep:sa/1-0 (det)
mdb> continue
- 76: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 76: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 79: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 79: 25 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 83: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 83: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 7, 155)
Valid? browse 3
@@ -149,13 +151,13 @@
Found incorrect contour:
sc(155)
Is this a bug? yes
- 82: 29 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 82: 29 4 EXIT pred output_term_dep:sc/1-0 (det)
mdb> continue
- 83: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 83: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 86: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 86: 25 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 93: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 93: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 38, 7)
Valid? browse 3
@@ -163,13 +165,13 @@
Found incorrect contour:
sa(7)
Is this a bug? yes
- 92: 32 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 92: 32 4 EXIT pred output_term_dep:sa/1-0 (det)
mdb> continue
- 93: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 93: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 96: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 96: 25 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 100: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 100: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 38, 155)
Valid? browse 3
@@ -177,18 +179,18 @@
Found incorrect contour:
sc(155)
Is this a bug? yes
- 99: 34 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 99: 34 4 EXIT pred output_term_dep:sc/1-0 (det)
mdb> continue
- 100: 25 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 100: 25 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 103: 25 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 103: 25 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 104: 25 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 104: 25 3 FAIL pred output_term_dep:s/3-0 (nondet)
mdb> continue
no
- 107: 36 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 107: 36 3 CALL pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 114: 36 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 114: 36 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(2, 7, 38)
Valid? browse 3
@@ -198,13 +200,13 @@
Found incorrect contour:
sb(38)
Is this a bug? yes
- 113: 38 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+ 113: 38 4 EXIT pred output_term_dep:sb/1-0 (det)
mdb> continue
- 114: 36 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 114: 36 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 117: 36 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 117: 36 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 123: 36 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 123: 36 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(2, 38, 155)
Valid? browse 2
@@ -212,18 +214,18 @@
Found incorrect contour:
sb(38)
Is this a bug? yes
- 120: 40 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+ 120: 40 4 EXIT pred output_term_dep:sb/1-0 (det)
mdb> continue
- 123: 36 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 123: 36 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 126: 36 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 126: 36 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 127: 36 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 127: 36 3 FAIL pred output_term_dep:s/3-0 (nondet)
mdb> continue
no
- 132: 44 3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 132: 44 3 CALL pred output_term_dep:t/2-0 (semidet)
mdb> finish
- 143: 44 3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 143: 44 3 EXIT pred output_term_dep:t/2-0 (semidet)
mdb> dd
t(1, 77)
Valid? browse 2
@@ -239,6 +241,6 @@
Found incorrect contour:
t(1, 77)
Is this a bug? yes
- 143: 44 3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 143: 44 3 EXIT pred output_term_dep:t/2-0 (semidet)
mdb> continue
77
Index: tests/debugger/declarative/output_term_dep.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/output_term_dep.exp2,v
retrieving revision 1.1
diff -u -r1.1 output_term_dep.exp2
--- tests/debugger/declarative/output_term_dep.exp2 2001/04/23 16:26:31 1.1
+++ tests/debugger/declarative/output_term_dep.exp2 2001/05/03 06:58:06
@@ -2,6 +2,8 @@
mdb> echo on
Command echo enabled.
mdb> register --quiet
+mdb> context none
+Contexts will not be printed.
mdb> break p
0: + stop interface pred output_term_dep:p/3-0 (det)
mdb> break q
@@ -13,9 +15,9 @@
mdb> break t
4: + stop interface pred output_term_dep:t/2-0 (semidet)
mdb> continue
- 3: 3 3 CALL pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 3: 3 3 CALL pred output_term_dep:p/3-0 (det)
mdb> finish
- 10: 3 3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 10: 3 3 EXIT pred output_term_dep:p/3-0 (det)
mdb> dd
p(5, 8, 13)
Valid? browse 2
@@ -29,14 +31,14 @@
Found incorrect contour:
p(5, 8, 13)
Is this a bug? yes
- 10: 3 3 EXIT pred output_term_dep:p/3-0 (det) output_term_dep.m:34 (output_term_dep.m:23)
+ 10: 3 3 EXIT pred output_term_dep:p/3-0 (det)
mdb> continue
5
8
13
- 25: 14 3 CALL pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 25: 14 3 CALL pred output_term_dep:q/1-0 (det)
mdb> finish
- 32: 14 3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 32: 14 3 EXIT pred output_term_dep:q/1-0 (det)
mdb> dd
q([[1, 2, 3], [], [99]])
Valid? browse 1
@@ -50,12 +52,12 @@
Found incorrect contour:
q([[1, 2, 3], [], [99]])
Is this a bug? yes
- 32: 14 3 EXIT pred output_term_dep:q/1-0 (det) output_term_dep.m:65 (output_term_dep.m:58)
+ 32: 14 3 EXIT pred output_term_dep:q/1-0 (det)
mdb> continue
[[1, 2, 3], [], [99]]
- 39: 21 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 39: 21 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 42: 21 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 42: 21 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(1, 999)
Valid? browse 2
@@ -63,12 +65,12 @@
Found incorrect contour:
r(1, 999)
Is this a bug? yes
- 42: 21 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:89)
+ 42: 21 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
999
- 47: 24 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 47: 24 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 59: 24 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 59: 24 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(2, 43)
Valid? browse 2
@@ -81,12 +83,12 @@
Found incorrect contour:
r(2, 43)
Is this a bug? yes
- 59: 24 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:92)
+ 59: 24 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
43
- 64: 29 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 64: 29 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 78: 29 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 78: 29 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(3, 57)
Valid? browse 2
@@ -100,12 +102,12 @@
Found incorrect contour:
r(3, 57)
Is this a bug? yes
- 78: 29 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:95)
+ 78: 29 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
57
- 83: 35 3 CALL pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 83: 35 3 CALL pred output_term_dep:r/2-0 (det)
mdb> finish
- 92: 35 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 92: 35 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> dd
r(4, -1)
Valid? browse 2
@@ -118,12 +120,12 @@
Found incorrect contour:
r(4, -1)
Is this a bug? yes
- 92: 35 3 EXIT pred output_term_dep:r/2-0 (det) output_term_dep.m:110 (output_term_dep.m:98)
+ 92: 35 3 EXIT pred output_term_dep:r/2-0 (det)
mdb> continue
-1
- 100: 41 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 100: 41 3 CALL pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 108: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 108: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 7, 7)
Valid? browse 2
@@ -133,13 +135,13 @@
Found incorrect contour:
sa(7)
Is this a bug? yes
- 104: 42 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:171)
+ 104: 42 4 EXIT pred output_term_dep:sa/1-0 (det)
mdb> continue
- 108: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 108: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 111: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 111: 41 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 115: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 115: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 7, 155)
Valid? browse 3
@@ -149,13 +151,13 @@
Found incorrect contour:
sc(155)
Is this a bug? yes
- 114: 45 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 114: 45 4 EXIT pred output_term_dep:sc/1-0 (det)
mdb> continue
- 115: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 115: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 118: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 118: 41 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 125: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 125: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 38, 7)
Valid? browse 3
@@ -163,13 +165,13 @@
Found incorrect contour:
sa(7)
Is this a bug? yes
- 124: 48 4 EXIT pred output_term_dep:sa/1-0 (det) output_term_dep.m:192 (output_term_dep.m:176)
+ 124: 48 4 EXIT pred output_term_dep:sa/1-0 (det)
mdb> continue
- 125: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 125: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 128: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 128: 41 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 132: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 132: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(1, 38, 155)
Valid? browse 3
@@ -177,18 +179,18 @@
Found incorrect contour:
sc(155)
Is this a bug? yes
- 131: 50 4 EXIT pred output_term_dep:sc/1-0 (det) output_term_dep.m:202 (output_term_dep.m:178)
+ 131: 50 4 EXIT pred output_term_dep:sc/1-0 (det)
mdb> continue
- 132: 41 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 132: 41 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 135: 41 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 135: 41 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 136: 41 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:150)
+ 136: 41 3 FAIL pred output_term_dep:s/3-0 (nondet)
mdb> continue
no
- 141: 53 3 CALL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 141: 53 3 CALL pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 148: 53 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 148: 53 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(2, 7, 38)
Valid? browse 3
@@ -198,13 +200,13 @@
Found incorrect contour:
sb(38)
Is this a bug? yes
- 147: 55 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:183)
+ 147: 55 4 EXIT pred output_term_dep:sb/1-0 (det)
mdb> continue
- 148: 53 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 148: 53 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 151: 53 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 151: 53 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> finish
- 157: 53 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 157: 53 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> dd
s(2, 38, 155)
Valid? browse 2
@@ -212,18 +214,18 @@
Found incorrect contour:
sb(38)
Is this a bug? yes
- 154: 57 4 EXIT pred output_term_dep:sb/1-0 (det) output_term_dep.m:197 (output_term_dep.m:185)
+ 154: 57 4 EXIT pred output_term_dep:sb/1-0 (det)
mdb> continue
- 157: 53 3 EXIT pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 157: 53 3 EXIT pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 160: 53 3 REDO pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 160: 53 3 REDO pred output_term_dep:s/3-0 (nondet)
mdb> continue
- 161: 53 3 FAIL pred output_term_dep:s/3-0 (nondet) output_term_dep.m:169 (output_term_dep.m:158)
+ 161: 53 3 FAIL pred output_term_dep:s/3-0 (nondet)
mdb> continue
no
- 168: 62 3 CALL pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 168: 62 3 CALL pred output_term_dep:t/2-0 (semidet)
mdb> finish
- 179: 62 3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 179: 62 3 EXIT pred output_term_dep:t/2-0 (semidet)
mdb> dd
t(1, 77)
Valid? browse 2
@@ -239,6 +241,6 @@
Found incorrect contour:
t(1, 77)
Is this a bug? yes
- 179: 62 3 EXIT pred output_term_dep:t/2-0 (semidet) output_term_dep.m:225 (output_term_dep.m:214)
+ 179: 62 3 EXIT pred output_term_dep:t/2-0 (semidet)
mdb> continue
77
Index: tests/debugger/declarative/output_term_dep.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/output_term_dep.inp,v
retrieving revision 1.1
diff -u -r1.1 output_term_dep.inp
--- tests/debugger/declarative/output_term_dep.inp 2001/04/23 16:26:31 1.1
+++ tests/debugger/declarative/output_term_dep.inp 2001/05/03 06:20:49
@@ -1,5 +1,6 @@
echo on
register --quiet
+context none
break p
break q
break r
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list