| ampleSetWork(State, int, CallOrSpawnStatement, Map) |   | 54% | | 28% | 31 | 39 | 6 | 32 | 0 | 1 |
| getMatchedMessageFromGcomm(int, SymbolicExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression, CIVLSource) | | 61% | | 36% | 6 | 8 | 11 | 27 | 0 | 1 |
| evaluateGuard(CIVLSource, State, int, SystemGuardExpression) | | 82% | | 61% | 24 | 45 | 5 | 23 | 0 | 1 |
| ampleSet(State, int, CallOrSpawnStatement, Map) | | 88% | | 73% | 3 | 7 | 1 | 7 | 0 | 1 |
| name() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getDequeueGuard(State, int, Expression[], SymbolicExpression[]) | | 100% | | 100% | 0 | 2 | 0 | 17 | 0 | 1 |
| getWaitGuard(State, int, Expression[], SymbolicExpression[]) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| LibcivlcEnabler(Enabler, PrintStream, ModelFactory) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |