Member predicate Configuration::explorationLimit

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

int explorationLimit()