protected void testIntervals(MethodControlFlowGraph cfg) {
TestCommentData commentData = TestCommentData.parseComments(cfg);
// Pair<BiMap<CFGVertice, String>, Map<String, Variable>> matchResult = commentData.matchMethodGraph(cfg);
AbstractSemanticsIntf<NonRelationalDomain<Interval>> as = new IntervalsSemantics();
NonRelationalDomain<Interval> initialValue = as.getInitialValue();
NonRelationalDomain<Interval> initialBools = commentData.getInitialIntervals();
if (initialBools!=null)
initialValue = initialBools;
Map<CFGVertice, NonRelationalDomain<Interval>> result = Interpreter.analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());