Do not test any methods that have the specified access level.
By default Diffblue Cover attempts to cover all lines within the code, including private methods. When it tries to cover a private method, we will often see Reflection being used if it is unable to use public constructors.
This increases coverage but it is often undesirable. One solution is to limit Diffblue Cover to testing only publicly accessible methods, for which this parameter may be useful. This parameter should be used in conjunction with setting cover-function-only to false.
phases: - cbmcArguments: do-not-test-methods-with-access: [private]