GaussContiguousEqualityLemma

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total303 of 3030%12 of 120%1313676777
RelationIdentity5(double, double, double)510%20%22111111
RelationIdentity6(double, double, double)510%20%22111111
RelationIdentity7(double, double, double)510%20%22111111
RelationIdentity2(double, double, double)490%20%22111111
RelationIdentity3(double, double, double)490%20%22111111
RelationIdentity4(double, double, double)490%20%22111111
GaussContiguousEqualityLemma()30%n/a111111