| getAllMatchingSources(State, BooleanExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression, CIVLSource) |   | 34% | | 26% | 19 | 22 | 48 | 76 | 0 | 1 |
| evaluateGuard(CIVLSource, State, int, String, List) | | 83% | | 88% | 1 | 5 | 4 | 19 | 0 | 1 |
| getDequeueGuard(State, int, String, List, SymbolicExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 24 | 0 | 1 |
| dequeueGuardGenerator(CIVLSource, State, Iterable, SymbolicExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression) | | 100% | | 100% | 0 | 4 | 0 | 10 | 0 | 1 |
| LibcommEvaluator(String, Evaluator, ModelFactory, SymbolicUtility, SymbolicAnalyzer, LibraryEvaluatorLoader) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |