StateManager

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total716 of 3,16277%68 of 34280%62219141690948
initialState(ValueIF, Map, boolean, boolean)1470%100%66303011
checkCollectiveAssertion(SystemEnvironmentIF, CollectiveAssertionIF, StateIF)794134%3562%35102001
executeLoopTransition(SystemEnvironmentIF, NoopStatementIF)6579192%1810085%1860416101
nextState(StateIF, TransitionIF)4315578%152361%920145401
getSharedVariableValues(Map, StateIF)420%20%228811
executeCollective(SystemEnvironmentIF, ProcessIF)417163%1990%16113201
immediateNextState(StateIF, TransitionIF)385459%41071%3851801
nextStateLoop(StateIF, NoopStatementIF)373146%2100%0291801
nextStateSimple(StateIF, SimpleTransitionIF)286068%4100%0392401
collectiveClaim(CollectiveAssertionIF, StateIF)275667%1583%1421501
getPositionInQueue(SystemEnvironmentIF, CollectiveAssertionIF, ProcessIF)255067%1990%1611401
initialState()2419589%11594%1984601
printAllStatesLong(PrintWriter)200%20%225511
printAllStatesShort(PrintWriter)200%20%225511
canonicalizeSymbolicConstants(StateIF)187080%1788%1521701
getPathCondition(StateIF)140%n/a113311
preInitialState(ValueIF, Map, boolean, boolean)1211290%8100%0542501
nextStateSynchronous(StateIF, SynchronousTransitionIF)97790%11192%1732201
simplify(StateIF)93881%4100%032901
StateManager(LibraryExecutorLoaderIF, ModelSequence, DynamicFactoryIF, StateFactoryIF, int, LogIF)16998%2467%2404401
printTransitionLong(PrintWriter, TransitionIF)0%n/a112211
printTransitionShort(PrintWriter, TransitionIF)0%n/a112211
static {...}880%1150%120201
getInputVariableValues(StateIF)0%n/a111111
getOutputVariableValues(StateIF)0%n/a111111
compositeState(CollectiveAssertionIF, MorphicArray, SystemEnvironmentIF)127100%10100%0602001
requiresSaving(LocationIF)52100%21890%21101701
collectibleSymbolicConstants(StateIF)34100%4100%030801
executeAllCollectives(SystemEnvironmentIF)32100%4100%030701
save(StateIF)26100%4100%030701
loopConstantSimplifier(Map)25100%1150%120601
setOnStack(StateIF, boolean)23100%8100%050701
StateManager(LibraryExecutorLoaderIF, ModelSequence, DynamicFactoryIF, StateFactoryIF, int, LogIF, TASSPredicateIF)22100%2100%020401
isComplete(CollectiveRecordIF)20100%4100%030601
printStateLong(PrintWriter, StateIF)19100%n/a010501
indexOf(SymbolicConstantIF)15100%n/a010401
checkCollectiveAssertion(CollectiveAssertionIF, MorphicArray, SystemEnvironmentIF)12100%n/a010301
printStateShort(PrintWriter, StateIF)12100%n/a010201
saveIfNecessary(StateIF, LocationIF)10100%2100%020301
saveIfNecessary(SystemEnvironmentIF, LocationIF)8100%n/a010201
save(SystemEnvironmentIF)100%n/a010201
numStatesSaved()100%n/a010101
setEnabler(TASSEnablerIF)100%n/a010201
setSeen(StateIF, boolean)100%n/a010201
numTransitionsExecuted()100%n/a010101
numStatesSeen()100%n/a010101
onStack(StateIF)100%n/a010101
seen(StateIF)100%n/a010101