Member predicate Configuration::explorationLimit

DEPRECATED: Use FlowExploration<explorationLimit> instead.

Gets the exploration limit for hasPartialFlow and hasPartialFlowRev measured in approximate number of interprocedural steps.