| newMemoryUnitEvaluator(Evaluator, MemoryUnitFactory) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| Semantics() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newEvaluator(ModelFactory, StateFactory, LibraryEvaluatorLoader, LibraryExecutorLoader, SymbolicUtility, SymbolicAnalyzer, MemoryUnitFactory, CIVLErrorLogger, CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newErrorSideEffectFreeEvaluator(ModelFactory, StateFactory, LibraryEvaluatorLoader, LibraryExecutorLoader, SymbolicUtility, SymbolicAnalyzer, MemoryUnitFactory, CIVLErrorLogger, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newExecutor(ModelFactory, StateFactory, LibraryExecutorLoader, Evaluator, SymbolicAnalyzer, CIVLErrorLogger, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newSymbolicAnalyzer(CIVLConfiguration, CIVLErrorLogger, SymbolicUniverse, ModelFactory, SymbolicUtility) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newTransition(int, BooleanExpression, Statement, boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newNoopTransition(int, BooleanExpression, Statement, boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newTransition(int, BooleanExpression, Statement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newLibraryExecutorLoader(LibraryEvaluatorLoader, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newLibraryEvaluatorLoader(CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |