13 lines
409 B
Plaintext
13 lines
409 B
Plaintext
trace work_trace_70 "Send refinement" id "ea202923-0031-4000-8000-000000000070" {
|
|
description "Existing correspondence; placement must not change semantics.";
|
|
oa @oa_send;
|
|
sa @sa_send;
|
|
}
|
|
|
|
trace work_trace_71 "Receive refinement" id "ea202923-0031-4000-8000-000000000071" {
|
|
description "Existing correspondence; placement must not change semantics.";
|
|
oa @oa_receive;
|
|
sa @sa_receive;
|
|
}
|
|
|