{
Configuration testConfig = Configuration.getDefaultConfiguration().copy();
testConfig.setGdFailOnDuplicateNames(false);
if (forceGDfallback) testConfig.setGdMaxNumberOfStatesInCrossProduct(0);
testConfig.setCompressLogs(useCompression);
final DirectedSparseGraph g = FsmParser.buildGraph(fsmString, name);
final LearnerGraph expected = new LearnerGraph(g,testConfig);
// now sanity checking on the plus and minus sets
for(String [] path:plus)
assert AbstractOracle.USER_ACCEPTED == expected.paths.tracePathPrefixClosed(Arrays.asList(path));