Defines the default content type for files that are read and produced. The contentType must be one of "json" or "xml". The default content type is assumed for any file that is not specified explicitly or that does not have a recognized extension. If omitted, the default content type is derived from the input definition file name.

Defines the function for which tests cases are reduced. If undefined, reduce test cases for all functions.

Defines the name for the updated generator definition file written by Reducer for an input definition file. This file name may contain at most one "*" wildcard character, in which case the "*" is replaced by the project name of the corresponding input definition file - see the inputDef parameter for details. The default value is "*-Generators.xml" or "*-Generators.json" (depending on the contentType).

Defines a single pattern that matches the system input definition files read by Reducer, relative to the directory specified by the inputDir. If omitted, the default value matches all files of the form "*-Input.xml" or "*-Input.json". An input definition file defines a project name that is used to form the default names for other associated files. For an input definition file of the form "${prefix}-Input.xml", the project name is "${prefix}". Otherwise, the project name is the basename of the input definition file.

Defines a set of patterns that match the system input definition files read by Reducer. By default, Reducer uses the single pattern defined by the inputDef parameter.

Defines the path to the directory where system input definition files are located. A relative path is applied relative to the ${basedir} of the project.

If true, ignore any random seed defined by generators and search for a new seed to reduce test cases.

A short-hand form of the inputDefs parameter that makes it easier to select the system input definition for a specific project. Equivalent to setting inputDefs to ∗∗/${project}-Input.xml,∗∗/${project}.xml,∗∗/${project}-Input.json,∗∗/${project}.json.

Defines the resample factor. The resampleFactor determines the number of samples in the next round of reducing. Depending on the resampleFactor, the next round may use more or fewer samples. If the previous round called for N samples and produced a reduction, then the number of samples for the next round will be N * ( 1 + resampleFactor). To increase sample count with each round, define resampleFactor > 0. To decrease sample count with each round, define -1 < resampleFactor < 0.

Defines the number of samples for the initial round of reducing.

Defines the name for the initial test case definition files read by Reducer for an input definition file. This file name may contain at most one "*" wildcard character, in which case the "*" is replaced by the project name of the corresponding input definition file - see the inputDef parameter for details. The default value is "*-Test.xml" or "*-Test.json" (depending on the contentType) or, if the junit parameter is true, "*Test.java".