ModelPair

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total0 of 15100%0 of 0n/a030603
ModelPair(ModelIF, ModelIF)9100%n/a010401
spec()3100%n/a010101
impl()3100%n/a010101