LearnLib/learnlib — pull request #23 by stovocor (2014-04-22 09:48:21+00:00)
Title: Allow to specify a batch size for RandomWordsEQOracle

We need to perform parallel executions in the random EQ oracle. In order to this, we extended the `RandomWordsEQOracle` by a `batchSize` parameter. Using a `ParallelOracle` together with this oracle will result in a parallel execution.