mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
7e5fc92acf
This is a cut-down test case that demonstrates, regardless of optimization
options, the cause of the failure of the user_event_shallow test case
with intermodule optimization: the fact that the current implementation
ignores user events in procedures if they are exported from the module
that is shallow traced.
tests/debugger/user_event_shallow_exported.{m,exp}:
As above. The .exp file will be filled in once the bug has been fixed.
tests/debugger/user_event_spec_3:
Add the event specification file for the new test.
tests/debugger/Mercury.options:
Specify that event specification file for the new test.
tests/debugger/user_event_spec:
tests/debugger/user_event_spec_2:
Expand out tabs.
13 lines
195 B
Plaintext
13 lines
195 B
Plaintext
event set queens
|
|
|
|
event nodiag_fail(
|
|
test_failed: string,
|
|
arg_b: int,
|
|
arg_d: int,
|
|
arg_list: list(int)
|
|
)
|
|
|
|
event safe_test(
|
|
test_list: listint
|
|
)
|