}
} else {
throw new UnsupportedOperationException("Unknown executor type");
}
spf = new SPF(dns, parser, log.getChildLogger("spf"), macroExpand, executor);
if (test != null) {
String next = test;
SPFResult res = runSingleTest(next);
verifyResult(next, res);