* the crawljax configuration.
* @throws ConfigurationException
* if the configuration fails.
*/
public CrawljaxController(final CrawljaxConfiguration config) throws ConfigurationException {
configurationReader = new CrawljaxConfigurationReader(config);
CrawlSpecificationReader crawlerReader =
configurationReader.getCrawlSpecificationReader();
stateComparator = new StateComparator(crawlerReader.getOracleComparators());
invariantList = crawlerReader.getInvariants();