| newMemoryUnitEvaluator(Evaluator, MemoryUnitFactory) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| Semantics() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newExecutor(ModelFactory, StateFactory, ErrorLog, LibraryExecutorLoader, Evaluator, SymbolicAnalyzer, CIVLErrorLogger, CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newEvaluator(ModelFactory, StateFactory, LibraryEvaluatorLoader, SymbolicUtility, SymbolicAnalyzer, MemoryUnitFactory, CIVLErrorLogger) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newNoopTransition(BooleanExpression, int, int, BooleanExpression, Statement, boolean, Transition.AtomicLockAction) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newTransition(BooleanExpression, int, int, Statement, Transition.AtomicLockAction) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newSymbolicAnalyzer(CIVLConfiguration, SymbolicUniverse, ModelFactory, SymbolicUtility) | | 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 |
| newTransitionSequence(State) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |