ImplIllegalMismatchCounterexample¶
-
public class
ImplIllegalMismatchCounterexample
extends BaseTraceRefinementCounterexample¶ Indicates that an event was declared as illegal by the spec, but was legal in the implementation.
Note
You are not reading the most recent version of this documentation.
ImplIllegalMismatchCounterexample
extends BaseTraceRefinementCounterexample¶Indicates that an event was declared as illegal by the spec, but was legal in the implementation.