recorder = new RecordProgressDecorator(l.getLearner(),new java.io.FileOutputStream(getFileName(FileType.LOG)),1,config,true);
} catch (IOException e) {
statechum.Helper.throwUnchecked("could not open log file for writing", e);
}
Collection<List<String>> graphTestSet = graph.wmethod.getFullTestSet(1);
recorder.writeLearnerEvaluationData(new ProgressDecorator.LearnerEvaluationConfiguration(graph,graphTestSet,config,null));
l.getLearner().setTopLevelListener(recorder);
learnt = learn(recorder,sMinus);
//learned = new LearnerGraph(config);
PTASequenceEngine testSetEngine = new PTA_FSMStructure(graph);