[m-rev.] diff: fix failure of double_print

Zoltan Somogyi zs at csse.unimelb.edu.au
Wed Jun 4 13:21:44 AEST 2008


tests/debugger/double_print.{inp,exp}:
	Fix the failure of this test case in grades in which the standard
	Mercury library generates events. In those grades, the initial "step"
	command stepped not to the first predicate called in main, but
	to the library function that generated its arguments.

Zoltan.

cvs diff: Diffing .
Index: double_print.exp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/double_print.exp,v
retrieving revision 1.1
diff -u -b -r1.1 double_print.exp
--- double_print.exp	20 Feb 2008 03:01:48 -0000	1.1
+++ double_print.exp	4 Jun 2008 03:20:03 -0000
@@ -3,8 +3,13 @@
 Command echo enabled.
 mdb> context none
 Contexts will not be printed.
-mdb> step
+mdb> register --quiet
+mdb> break p
+ 0: + stop  interface pred double_print.p/2-0 (det)
+mdb> continue
       E2:     C2 CALL pred double_print.p/2-0 (det)
+mdb> delete *
+ 0: E stop  interface pred double_print.p/2-0 (det)
 mdb> finish
       E3:     C2 EXIT pred double_print.p/2-0 (det)
 mdb> print A
Index: double_print.inp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/double_print.inp,v
retrieving revision 1.1
diff -u -b -r1.1 double_print.inp
--- double_print.inp	20 Feb 2008 03:01:48 -0000	1.1
+++ double_print.inp	4 Jun 2008 03:14:54 -0000
@@ -1,6 +1,9 @@
 echo on
 context none
-step
+register --quiet
+break p
+continue
+delete *
 finish
 print A
 continue
cvs diff: Diffing declarative
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list