Cover the entry point function only.
By default, cover-function-only is set to
true. When set to
false, Diffblue Cover will not be constrained to write tests for a single function. Setting this parameter to
false will often lead to higher numbers of created tests and small increases in coverage. However, it will often also lead to more complex or verbose tests as multiple functions are touched on in each test.
phases: - cbmcArguments: cover-function-only: false