An issue with Symbolic Execution wherein a set of constraints leads to excessive amount of paths. This is why you want angr to analyze as little as possible.
An issue with Symbolic Execution wherein a set of constraints leads to excessive amount of paths. This is why you want angr to analyze as little as possible.