SampleEQOracleProxy extends AbstractEquivalenceOracleProxy implements Serializable { @Override public void checkParameters() throws IllegalArgumentException { } SampleEQOracleProxy(); List<List<InputOutputPair>> getCounterExamples(); void setCounterExamples(List<List<InputOutputPair>> counterExamples); @Override void checkParameters(); void addCounterExample(List<InputOutputPair> counterExample); @Override EquivalenceOracle<MealyMachine<?, String, ?, String>, String, Word<String>> createEqOracle(
            MembershipOracle<String, Word<String>> membershipOracle);  }
@Test public void ensureThatIfTheParametersAreValidNoExceptionWillBeThrown() { eqOracle.checkParameters(); }