java-external-code-action

Set behavior when we encounter calls to external functions. (for example, libraries not present on our classpath).

Description

This sets the strategy when the definition of a method is not available to Diffblue Cover. The two main options are:

  • mock
  • mock-non-jdk

Choose mock to mock every method for which the definition is missing.

The mock-non-jdk option does the same, but discards the test case with a message when the method in question is in the java or javax package.

Note that even with the mock option, some test cases may still be discarded due to missing models.

Usage

phases:
-
  cbmcArguments:
    java-external-code-action: mock

results matching ""

    No results matching ""