VerificationUtility

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total213 of 58063%13 of 4672%13282310815
checkCompatibility(LibraryExecutorLoaderIF, SymbolicUniverseIF, DynamicFactoryIF, ModelIF, ModelIF, LogIF)10618864%51169%59145801
inputMap(ModelSequence, DynamicFactoryIF)879652%61470%51163001
checkNonKeyAssumptions(ModelIF, ModelIF, DynamicFactoryIF)177181%2880%2621801
VerificationUtility()30%n/a111111
inputMap(ModelIF, DynamicFactoryIF)12100%n/a010101