Set a limit on the number of instructions analyzed by Diffblue Cover to produce a single test case.
Setting a limit on the number of instructions that can be analyzed by Diffblue Cover to produce a single test case can help it to run faster. This is because a limited number of instructions consequently limits the complexity of test execution.
The lower the depth is set, the greater the chance of not being able to analyze a method fully. The result is fewer tests or no tests. Setting a low depth could therefore negatively impact coverage.
Setting depth to false means Diffblue Cover will not set a bound on instructions. This means we rely on the unwind parameter to prevent us from infinitely looping over code.
phases: - cbmcArguments: depth: 6000