| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 213 of 580 | 63% | 13 of 46 | 72% | 13 | 28 | 23 | 108 | 1 | 5 |
| checkCompatibility(LibraryExecutorLoaderIF, SymbolicUniverseIF, DynamicFactoryIF, ModelIF, ModelIF, LogIF) | | 64% | | 69% | 5 | 9 | 14 | 58 | 0 | 1 |
| inputMap(ModelSequence, DynamicFactoryIF) | | 52% | | 70% | 5 | 11 | 6 | 30 | 0 | 1 |
| checkNonKeyAssumptions(ModelIF, ModelIF, DynamicFactoryIF) | | 81% | | 80% | 2 | 6 | 2 | 18 | 0 | 1 |
| VerificationUtility() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| inputMap(ModelIF, DynamicFactoryIF) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |