| 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, CIVLErrorLogger) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newTransition(BooleanExpression, int, int, Statement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newSymbolicAnalyzer(SymbolicUniverse, ModelFactory, SymbolicUtility) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newLibraryExecutorLoader(LibraryEvaluatorLoader) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newTransitionSequence(State) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newLibraryEvaluatorLoader() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |