PredicateFactory

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total0 of 35100%0 of 0n/a050505
newComparisonPredicate(ModelSequence, DynamicFactoryIF, StateFactoryIF, TASSPredicateIF, int, LogIF)10100%n/a010101
newAbsoluteDeadlock(ModelIF, DynamicFactoryIF, StatefulEnvironmentIF, EvaluatorIF, LogIF)9100%n/a010101
newPotentialDeadlock(ModelIF, DynamicFactoryIF, StatefulEnvironmentIF, EvaluatorIF, LogIF)9100%n/a010101
newFalsePredicate()4100%n/a010101
PredicateFactory()3100%n/a010101