Set behavior when we encounter calls to external functions. (for example, libraries not present on our classpath).
This sets the strategy when the definition of a method is not available to Diffblue Cover. The two main options are:
mock to mock every method for which the definition is missing.
mock-non-jdk option does the same, but discards the test case with a
message when the method in question is in the
Note that even with the
mock option, some test cases may still be discarded due to missing models.
phases: - cbmcArguments: java-external-code-action: mock