DSEStats (evosuite-client 1.0.5 API)

java.lang.Object
- org.evosuite.symbolic.DSEStats

```
public class DSEStats
extends Object
```
This class is used to store statistics on DSE.

Author:

galeotti

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static void`	`clear()` This method initializes all counters to 0.
`static DSEStats`	`getInstance()`
`void`	`logStatistics()`
`void`	`reportConstraintTooLong(int size)`
`void`	`reportNewConcolicExecutionTime(long concolicExecutionTimeMillis)` Reports a new concolic execution time (use of instrumentation and path constraint collection)
`void`	`reportNewConstraints(Collection<Constraint<?>> constraints)`
`void`	`reportNewDecrease()`
`void`	`reportNewIncrease()`
`void`	`reportNewSAT()` Invoke this method when a SAT instance was found by a Constraint Solver
`void`	`reportNewSolvingTime(long solvingTimeMillis)` Reports a new solving time (use of a constraint solver)
`void`	`reportNewTestUnuseful()` Call this method to report a new test found by DSE did not lead to a fitness improvement.
`void`	`reportNewTestUseful()` Invoke this method when a new test found by DSE is added to the test suite.
`void`	`reportNewTimeout()`
`void`	`reportNewUNSAT()`
`void`	`trackConstraintTypes()`
`void`	`trackSolverStatistics()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getInstance
```
public static DSEStats getInstance()
```
  - clear
```
public static void clear()
```
    This method initializes all counters to 0. It should be called only if the user wants to clean all statistics.
  - reportNewUNSAT
```
public void reportNewUNSAT()
```
  - reportNewSAT
```
public void reportNewSAT()
```
    Invoke this method when a SAT instance was found by a Constraint Solver
  - reportNewTestUnuseful
```
public void reportNewTestUnuseful()
```
    Call this method to report a new test found by DSE did not lead to a fitness improvement.
  - reportNewTestUseful
```
public void reportNewTestUseful()
```
    Invoke this method when a new test found by DSE is added to the test suite.
  - logStatistics
```
public void logStatistics()
```
  - reportNewConstraints
```
public void reportNewConstraints(Collection<Constraint<?>> constraints)
```
  - reportNewSolvingTime
```
public void reportNewSolvingTime(long solvingTimeMillis)
```
    Reports a new solving time (use of a constraint solver)
    
    Parameters:
    
    solvingTimeMillis -
  - reportNewConcolicExecutionTime
```
public void reportNewConcolicExecutionTime(long concolicExecutionTimeMillis)
```
    Reports a new concolic execution time (use of instrumentation and path constraint collection)
    
    Parameters:
    
    concolicExecutionTimeMillis -
  - reportConstraintTooLong
```
public void reportConstraintTooLong(int size)
```
  - reportNewTimeout
```
public void reportNewTimeout()
```
  - reportNewIncrease
```
public void reportNewIncrease()
```
  - reportNewDecrease
```
public void reportNewDecrease()
```
  - trackConstraintTypes
```
public void trackConstraintTypes()
```
  - trackSolverStatistics
```
public void trackSolverStatistics()
```

Class DSEStats

Method Summary

Methods inherited from class java.lang.Object

Method Detail

getInstance

clear

reportNewUNSAT

reportNewSAT

reportNewTestUnuseful

reportNewTestUseful

logStatistics

reportNewConstraints

reportNewSolvingTime

reportNewConcolicExecutionTime

reportConstraintTooLong

reportNewTimeout

reportNewIncrease

reportNewDecrease

trackConstraintTypes

trackSolverStatistics