MutantTimeoutCtxTbl

The defaults for the schema is the state that the state machine start in.

This mean that if there are nothing in the database then .init is the correct starting point.

package

@TableName(mutantTimeoutCtxTable)

struct MutantTimeoutCtxTbl {

long worklistCount;

}

Members

Enums

State enum State: Undocumented in source.

Variables

iter long iter;: What iteration the timeout testing is at.
state State state;: State of the timeout algorithm.
worklistCount long worklistCount;: Last count of the mutants in the worklist that where in the timeout state.

Meta

Source

See Implementation

dextool plugin mutate backend database schema functions

structs

variables