mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
8b0cea125e
tests/debugger/Mmakefile:
Delete the bespoke make rules for test cases that do not require
their own special handling.
tests/debugger/all_solutions.exp:
tests/debugger/all_solutions.exp2:
tests/debugger/all_solutions.exp4:
tests/debugger/browse_packed.exp:
tests/debugger/browse_pretty.exp:
tests/debugger/class_decl.exp:
tests/debugger/cmd_quote.exp:
tests/debugger/debugger_regs.exp:
tests/debugger/field_names.exp:
tests/debugger/implied_instance.exp:
tests/debugger/label_layout.exp:
tests/debugger/list_cmd.exp:
tests/debugger/lval_desc_array.exp:
tests/debugger/multi_parameter.exp:
tests/debugger/multi_parameter.exp2:
tests/debugger/mutrec.exp:
tests/debugger/no_inline_builtins.exp:
tests/debugger/queens_rep.exp:
tests/debugger/shallow.exp:
tests/debugger/shallow.exp2:
Expect standardized event numbers and call sequence numbers,
since that is what the implicit rule specifies.
tests/debugger/all_solutions.m:
Fill in missing info about which .expN file is for what situations.
21 lines
543 B
Plaintext
21 lines
543 B
Plaintext
E1: C1 CALL pred queens_rep.main/2-0 (cc_multi) queens_rep.m:18
|
|
mdb> echo on
|
|
Command echo enabled.
|
|
mdb> context none
|
|
Contexts will not be printed.
|
|
mdb> goto 9
|
|
E2: C2 DISJ pred queens_rep.qdelete/3-0 (nondet) c2;d1;
|
|
mdb> up
|
|
Ancestor level set to 1:
|
|
1 pred queens_rep.qperm/2-0 (nondet)
|
|
mdb> up 2
|
|
Ancestor level set to 3:
|
|
3 pred queens_rep.main/2-0 (cc_multi)
|
|
mdb> level
|
|
Ancestor level set to 0:
|
|
0 pred queens_rep.qdelete/3-0 (nondet)
|
|
mdb> print
|
|
qdelete(_, [1, 2, 3, 4, 5], _)
|
|
mdb> continue -n -S
|
|
[1, 3, 5, 2, 4]
|