org.eclipse.viatra.dse.genetic.debug

Class BaseTestRunner.BaseResult

java.lang.Object

org.eclipse.viatra.dse.genetic.debug.BaseTestRunner.BaseResult

Enclosing class:

BaseTestRunner

public static class BaseTestRunner.BaseResult
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	configId
double	memAfter
double	memBefore
java.lang.String	report
int	runId
double	runTime

Constructor Summary

Constructors

Constructor and Description
BaseTestRunner.BaseResult()

Method Summary

Methods

Modifier and Type	Method and Description
static java.lang.String	header()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

configId

public int configId

runId

public int runId

report

public java.lang.String report

runTime

public double runTime

memBefore

public double memBefore

memAfter

public double memAfter

Constructor Detail

BaseTestRunner.BaseResult

public BaseTestRunner.BaseResult()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

header

public static java.lang.String header()