In the exhibit, what applies if the interaction constraint is false when the loop is entered?

Question

Options

• AThe loop body is not included in a valid trace.
• BValid traces include both the case where the loop iterates once, and when it iterates zero times.
• CAll valid traces will include message r.
• DThe specification is illegal.

• A
  8% (2)
• B
  4% (1)
• C
  73% (19)
• D
  15% (4)

No community discussion yet for this question.