IllegalFunctionCallCounterexample¶
-
public class
IllegalFunctionCallCounterexample
extends IllegalCounterexample¶ A counterexample where an illegal function is called on a required port.
IllegalFunctionCallCounterexample
extends IllegalCounterexample¶A counterexample where an illegal function is called on a required port.