| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 303 of 303 | 0% | 12 of 12 | 0% | 13 | 13 | 67 | 67 | 7 | 7 |
| RelationIdentity5(double, double, double) | 0% | 0% | 2 | 2 | 11 | 11 | 1 | 1 | ||
| RelationIdentity6(double, double, double) | 0% | 0% | 2 | 2 | 11 | 11 | 1 | 1 | ||
| RelationIdentity7(double, double, double) | 0% | 0% | 2 | 2 | 11 | 11 | 1 | 1 | ||
| RelationIdentity2(double, double, double) | 0% | 0% | 2 | 2 | 11 | 11 | 1 | 1 | ||
| RelationIdentity3(double, double, double) | 0% | 0% | 2 | 2 | 11 | 11 | 1 | 1 | ||
| RelationIdentity4(double, double, double) | 0% | 0% | 2 | 2 | 11 | 11 | 1 | 1 | ||
| GaussContiguousEqualityLemma() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |