| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 737 of 737 | 0% | 64 of 64 | 0% | 103 | 103 | 166 | 166 | 71 | 71 | 11 | 11 |
| BinaryOperator.java | | 0% | | 0% | 16 | 16 | 30 | 30 | 6 | 6 | 1 | 1 |
| Negation.java | | 0% | | 0% | 17 | 17 | 28 | 28 | 9 | 9 | 1 | 1 |
| CachedFactory.java | | 0% | | 0% | 10 | 10 | 19 | 19 | 8 | 8 | 1 | 1 |
| LogicalOperator.java | | 0% | n/a | 4 | 4 | 9 | 9 | 4 | 4 | 1 | 1 | |
| Require.java | | 0% | | 0% | 12 | 12 | 22 | 22 | 9 | 9 | 1 | 1 |
| Nothing.java | | 0% | | 0% | 13 | 13 | 23 | 23 | 10 | 10 | 1 | 1 |
| Disjunction.java | | 0% | | 0% | 8 | 8 | 10 | 10 | 5 | 5 | 1 | 1 |
| Conjunction.java | | 0% | | 0% | 8 | 8 | 10 | 10 | 5 | 5 | 1 | 1 |
| RequirementFactory.java | | 0% | n/a | 6 | 6 | 6 | 6 | 6 | 6 | 1 | 1 | |
| Requirement.java | | 0% | n/a | 5 | 5 | 5 | 5 | 5 | 5 | 1 | 1 | |
| Factory.java | | 0% | n/a | 4 | 4 | 4 | 4 | 4 | 4 | 1 | 1 |