[m-rev.] diff: fix throw.exp2
Ian MacLarty
maclarty at cs.mu.OZ.AU
Sun Oct 23 18:41:41 AEST 2005
Looking at the CVS log I appear to have gotten confused about which
expected output was for debug grades and which was for non-debug grades
in a previous diff.
Estimated hours taken: 0.4
Branches: main
tests/debugger/declarative/throw.exp2:
Fix the expected output for this test case in debug grades.
(The context should appear in debug grades.)
Index: tests/debugger/declarative/throw.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/throw.exp2,v
retrieving revision 1.12
diff -u -r1.12 throw.exp2
--- tests/debugger/declarative/throw.exp2 10 Oct 2005 12:00:16 -0000 1.12
+++ tests/debugger/declarative/throw.exp2 23 Oct 2005 08:31:57 -0000
@@ -9,7 +9,7 @@
mdb> continue
E2: C2 CALL pred throw.p/1-0 (cc_nondet) throw.m:20 (exception.m:NNNN)
mdb> finish
- E3: C2 EXCP pred throw.p/1-0 (cc_nondet)
+ E3: C2 EXCP pred throw.p/1-0 (cc_nondet) q!;c2; throw.m:22 (exception.m:NNNN)
mdb> dd -d 3 -n 7
Call p(_)
Throws "Too big"
@@ -23,12 +23,12 @@
p(_)
"Too big"
Is this a bug? yes
- E3: C2 EXCP pred throw.p/1-0 (cc_nondet)
+ E3: C2 EXCP pred throw.p/1-0 (cc_nondet) q!;c2; throw.m:22 (exception.m:NNNN)
mdb> continue
exception(univ_cons("Too big"))
E4: C3 CALL pred throw.q/1-0 (semidet) throw.m:48 (exception.m:NNNN)
mdb> finish
- E5: C3 EXCP pred throw.q/1-0 (semidet)
+ E5: C3 EXCP pred throw.q/1-0 (semidet) c2;~;q!;c2;~;q!;c2; throw.m:52 (exception.m:NNNN)
mdb> dd -d 3 -n 7
Call q(_)
Throws "Too big"
@@ -42,6 +42,6 @@
q(_)
"Too big"
Is this a bug? yes
- E5: C3 EXCP pred throw.q/1-0 (semidet)
+ E5: C3 EXCP pred throw.q/1-0 (semidet) c2;~;q!;c2;~;q!;c2; throw.m:52 (exception.m:NNNN)
mdb> continue
exception(univ_cons("Too big"))
--------------------------------------------------------------------------
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