| getMatchedMessageFromGcomm(int, SymbolicExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression, CIVLSource) |   | 39% | | 26% | 16 | 18 | 32 | 53 | 0 | 1 |
| ampleSetWork(State, int, CallOrSpawnStatement, Map) | | 56% | | 29% | 29 | 37 | 6 | 32 | 0 | 1 |
| evaluateGuard(CIVLSource, State, int, SystemGuardExpression) | | 85% | | 67% | 16 | 33 | 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 |