Kripke

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total3 of 3692%0 of 0n/a141414
Kripke()30%n/a111111
newEnabler(ModelSequence, DynamicFactoryIF, StateFactoryIF, TransitionFactoryIF, int, LogIF, boolean, boolean)12100%n/a010101
newStateManager(LibraryExecutorLoaderIF, ModelSequence, DynamicFactoryIF, StateFactoryIF, int, LogIF, TASSPredicateIF)11100%n/a010101
newStateManager(LibraryExecutorLoaderIF, ModelSequence, DynamicFactoryIF, StateFactoryIF, int, LogIF)10100%n/a010101