You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Each configuration listed should explain what are the possible values the configuration can be set to, what the default value is, what the purpose of the configuration is, what is the source file of the configuration, and provide an example.
E.g.,
dt.minimizer.use.original.order | true or false | false | Indicates to the Minimizer whether it should use the passing/failing orders to find polluters and cleaners or if it should use the original order. | -Ddt.minimizer.use.original.order=true
The text was updated successfully, but these errors were encountered:
Each configuration listed should explain what are the possible values the configuration can be set to, what the default value is, what the purpose of the configuration is, what is the source file of the configuration, and provide an example.
E.g.,
dt.minimizer.use.original.order |
true
orfalse
|false
| Indicates to the Minimizer whether it should use the passing/failing orders to find polluters and cleaners or if it should use the original order. |-Ddt.minimizer.use.original.order=true
The text was updated successfully, but these errors were encountered: