org.evomaster.client.java.instrumentation

Class InputProperties

java.lang.Object

org.evomaster.client.java.instrumentation.InputProperties

public class InputProperties
extends Object

Properties "-D" passed as input to JAR of SUTs when started with an External Controller

Field Summary

Fields

Modifier and Type	Field and Description
static String	EXTERNAL_PORT_PROP Specify to start a TCP server on the given port, listening to instructions to collect coverage information
static String	OUTPUT_FILE Option to write to disk the obtained coverage once the SUT ends
static String	REPLACEMENT_CATEGORIES Which categories to apply for the method replacements.

Constructor Summary

Constructors

Constructor and Description
InputProperties()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EXTERNAL_PORT_PROP

public static final String EXTERNAL_PORT_PROP

Specify to start a TCP server on the given port, listening to instructions to collect coverage information

See Also:

Constant Field Values

OUTPUT_FILE

public static final String OUTPUT_FILE

Option to write to disk the obtained coverage once the SUT ends

See Also:

Constant Field Values

REPLACEMENT_CATEGORIES

public static final String REPLACEMENT_CATEGORIES

Which categories to apply for the method replacements. This is a comma "," separated list of category names.

See Also:

Constant Field Values

Constructor Detail

InputProperties

public InputProperties()