The program currently explores every path independently. At each conditional branch, the entire program from that point is explored separately. The number of paths can blow up if there are a lot of branches.
Change this to explore just the body of the if and else conditions separately, and perform a join at the end.
The program currently explores every path independently. At each conditional branch, the entire program from that point is explored separately. The number of paths can blow up if there are a lot of branches.
Change this to explore just the body of the if and else conditions separately, and perform a join at the end.