load-containing-class-only

Only load the class containing the method under test, with any outer classes required, any of their inner classes, and the JDK models.

Description

If the class hierarchy is particularly complex and Diffblue Cover is unable to cover a method, you can take a radical approach by using the 'load-containing-class-only' option. This limits the analysis to the class containing the line to cover, as well as inner classes, parent classes, and the Java Library (models). Everything outside this scope will be mocked unless specified by the java-mock-class option.

Usage

phases:
-
  cbmcArguments:
    load-containing-class-only: true

results matching ""

    No results matching ""