}
// Replay basic block up to the error state location
if (transformerFactory instanceof PessimisticBasicBlockFactory) {
for (CFAEdge edge : transformerFactory.getExistingOutEdges(last.getLocation())) {
BasicBlock bb = (BasicBlock)edge.getTransformer();
if (bb.containsLocation(e.getState().getLocation())) {
logger.warn(bb.toStringUntil(e.getState().getLocation()));
break;
}
}
logger.warn("State before last statement in block:");
logger.warn(e.getState());