ModelVerifications

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total415 of 47312%77 of 8610%556478891621
allComponentFeaturesConnected(ComponentInstance)650%80%55141411
samePowerBudget(ComponentInstance)620%100%66101011
sameVoltage(ComponentInstance)600%100%66101011
twoPowerInlets(ComponentInstance)360%80%557711
electricalPowerSelfSufficiency(ComponentInstance)310%60%445511
electricalPowerSelfSufficiency1(ComponentInstance)280%60%445511
isRavenscarCompliant(ComponentInstance)210%40%334411
hasOnlySamplingPorts(ComponentInstance)200%40%334411
hasWattageBudgetValue(FeatureInstance, double)180%40%334411
hasNoExternalCPUDemand(ComponentInstance)140%40%334411
providesNoCPUExternally(ComponentInstance)140%40%334411
hasWattageCapacityValue(ComponentInstance, double)120%20%222211
consistentWeightLimit(ComponentInstance, double)120%20%222211
CPUSelfSufficiency(ComponentInstance)120%40%331111
isLeafComponent(ComponentInstance)40%n/a111111
allThreads(ComponentInstance)40%n/a111111
hasVoltageValue(FeatureInstance, double)2981%1150%120201
isConnected(ComponentInstance)19100%4100%030401
getVoltage(FeatureInstance)15100%n/a010301
isConnected(FeatureInstance)12100%4100%030101
ModelVerifications()3100%n/a010101