[m-dev.] trivial diff: remove line numbers from test results
Mark Anthony BROWN
dougl at cs.mu.OZ.AU
Wed Mar 1 18:53:07 AEDT 2000
Estimated hours taken: 0.2
tests/debugger/declarative/lpe_example.inp:
tests/debugger/declarative/lpe_example.exp:
tests/debugger/declarative/lpe_example.exp2:
Ensure that line numbers from the standard library do not
appear in test results, by setting 'context none'.
Without this, small irrelevant changes to std_util.m can
affect the test case output in debug grades.
Index: lpe_example.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/lpe_example.exp,v
retrieving revision 1.4
diff -u -r1.4 lpe_example.exp
--- lpe_example.exp 2000/03/01 04:17:26 1.4
+++ lpe_example.exp 2000/03/01 07:33:45
@@ -1,13 +1,15 @@
1: 1 1 CALL pred lpe_example:main/2-0 (det) lpe_example.m:8
mdb> echo on
Command echo enabled.
+mdb> context none
+Contexts will not be printed.
mdb> register --quiet
mdb> break p
0: + stop interface pred lpe_example:p/2-0 (nondet)
mdb> continue
- 2: 2 2 CALL pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 2: 2 2 CALL pred lpe_example:p/2-0 (nondet)
mdb> finish
- 10: 2 2 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 10: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
p(1, 13)
Valid? no
@@ -18,11 +20,11 @@
Found incorrect contour:
p(1, 13)
Is this a bug? yes
- 10: 2 2 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 10: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> continue
- 11: 2 2 REDO pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 11: 2 2 REDO pred lpe_example:p/2-0 (nondet)
mdb> finish
- 15: 2 2 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 15: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
p(1, 23)
Valid? no
@@ -31,22 +33,22 @@
Found incorrect contour:
p(1, 23)
Is this a bug? yes
- 15: 2 2 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 15: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> continue
- 16: 2 2 REDO pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 16: 2 2 REDO pred lpe_example:p/2-0 (nondet)
mdb> finish
- 20: 2 2 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 20: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
p(1, 3)
Valid? no
Found incorrect contour:
p(1, 3)
Is this a bug? yes
- 20: 2 2 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 20: 2 2 EXIT pred lpe_example:p/2-0 (nondet)
mdb> continue
- 21: 2 2 REDO pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 21: 2 2 REDO pred lpe_example:p/2-0 (nondet)
mdb> finish
- 22: 2 2 FAIL pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 22: 2 2 FAIL pred lpe_example:p/2-0 (nondet)
mdb> dd
Call p(1, _)
Solutions:
@@ -62,6 +64,6 @@
Found partially uncovered atom:
p(1, _)
Is this a bug? yes
- 22: 2 2 FAIL pred lpe_example:p/2-0 (nondet) lpe_example.m:17
+ 22: 2 2 FAIL pred lpe_example:p/2-0 (nondet)
mdb> continue
[3, 13, 23]
Index: lpe_example.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/lpe_example.exp2,v
retrieving revision 1.4
diff -u -r1.4 lpe_example.exp2
--- lpe_example.exp2 2000/03/01 04:17:26 1.4
+++ lpe_example.exp2 2000/03/01 07:17:15
@@ -1,13 +1,15 @@
1: 1 1 CALL pred lpe_example:main/2-0 (det) lpe_example.m:8
mdb> echo on
Command echo enabled.
+mdb> context none
+Contexts will not be printed.
mdb> register --quiet
mdb> break p
0: + stop interface pred lpe_example:p/2-0 (nondet)
mdb> continue
- 3: 3 3 CALL pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 3: 3 3 CALL pred lpe_example:p/2-0 (nondet)
mdb> finish
- 11: 3 3 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 11: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
p(1, 13)
Valid? no
@@ -18,11 +20,11 @@
Found incorrect contour:
p(1, 13)
Is this a bug? yes
- 11: 3 3 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 11: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> continue
- 12: 3 3 REDO pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 12: 3 3 REDO pred lpe_example:p/2-0 (nondet)
mdb> finish
- 16: 3 3 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 16: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
p(1, 23)
Valid? no
@@ -31,22 +33,22 @@
Found incorrect contour:
p(1, 23)
Is this a bug? yes
- 16: 3 3 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 16: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> continue
- 17: 3 3 REDO pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 17: 3 3 REDO pred lpe_example:p/2-0 (nondet)
mdb> finish
- 21: 3 3 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 21: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> dd
p(1, 3)
Valid? no
Found incorrect contour:
p(1, 3)
Is this a bug? yes
- 21: 3 3 EXIT pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 21: 3 3 EXIT pred lpe_example:p/2-0 (nondet)
mdb> continue
- 22: 3 3 REDO pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 22: 3 3 REDO pred lpe_example:p/2-0 (nondet)
mdb> finish
- 23: 3 3 FAIL pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 23: 3 3 FAIL pred lpe_example:p/2-0 (nondet)
mdb> dd
Call p(1, _)
Solutions:
@@ -62,6 +64,6 @@
Found partially uncovered atom:
p(1, _)
Is this a bug? yes
- 23: 3 3 FAIL pred lpe_example:p/2-0 (nondet) lpe_example.m:17 (std_util.m:590)
+ 23: 3 3 FAIL pred lpe_example:p/2-0 (nondet)
mdb> continue
[3, 13, 23]
Index: lpe_example.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/lpe_example.inp,v
retrieving revision 1.3
diff -u -r1.3 lpe_example.inp
--- lpe_example.inp 2000/02/22 10:46:21 1.3
+++ lpe_example.inp 2000/03/01 07:17:15
@@ -1,4 +1,5 @@
echo on
+context none
register --quiet
break p
continue
--
Mark Brown, PhD student )O+ | "Another of Fortran's breakthroughs
(m.brown at cs.mu.oz.au) | was the GOTO statement, which was...
Dept. of Computer Science and Software | uniquely simple and understandable"
Engineering, University of Melbourne | -- IEEE, 1994
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list