Environment Configuration
The environment where Cover is run can be configured in several ways:
Setting Environment variables
Setting properties in Java Properties files
Predominantly, environment variables are used, but some of these properties can also be set in a Java Properties file called cover.properties.
cover.properties
To use cover.properties a new file called cover.properties must be created in the .diffblue folder in the user home directory.
Properties are added as a name/value pair separated with an =
For example:
cover.reports.upload.url=http://example.com
Properties will be read when Cover starts its JVM and cached for future use. When using Cover Plugin, the JVM is the same as Intellij. Therefore, when changing properties, Intellij must be restarted to reflect the change.
Setting environment variables
All the properties that can be set in cover.properties can also be set as environment variables. The name of the environment variable is the same as the property name except:
All the letters are capitalised
The
.separators are replaced with underscoresA prefix of
DIFFBLUE_is added to disambiguate Diffblue variables on host systems with many variables
For example:
cover.reports.upload.url can be set in an environment variable as DIFFBLUE_COVER_REPORTS_UPLOAD_URL
Environment variables have a higher precedence that properties set in cover.properties. Therefore, if the same variable is set in both places, the value from the environment variable will be used.
Available properties
The properties that can be set in cover.properties are:
Last updated