SimpleStateManager

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total63 of 12147%0 of 0n/a7121327712
printStateShort(PrintStream, Integer)130%n/a112211
printStateLong(PrintStream, Integer)130%n/a112211
printTransitionShort(PrintStream, String)130%n/a112211
printTransitionLong(PrintStream, String)130%n/a112211
printAllStatesShort(PrintStream)40%n/a112211
printAllStatesLong(PrintStream)40%n/a112211
getId(Integer)30%n/a111111
printTraceStep(Integer, TraceStepIF)24100%n/a010701
printTraceStepFinalState(Integer, int)17100%n/a010201
nextState(Integer, String)10100%n/a010101
SimpleStateManager(MatrixDirectedGraph)6100%n/a010301
normalize(TraceStepIF)1100%n/a010101