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:
Name | Environment variable name | Purpose | Example use |
---|---|---|---|
|
| name of user that can upload to an installed Cover Reports, e.g. when using |
|
|
| password of user that can upload to an installed Cover Reports, e.g. when using |
|
|
| URL of an installed Cover Reports to upload coverage reports into, e.g. when using |
|
Last updated