ModelExtractor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total7 of 12094%4 of 633%4922516
extract()43189%4233%341801
builder()30%n/a111111
extractPair()54100%n/a010801
ModelExtractor(RunConfiguration)12100%n/a010401
extractModel(VerifyConfiguration)8100%n/a010201
extractModelPair(CompareConfiguration)8100%n/a010201