| executeWork(State, int, CallOrSpawnStatement) |  | 0% | | 0% | 76 | 76 | 55 | 55 | 1 | 1 |
| executeCommDequeue(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 13 | 13 | 58 | 58 | 1 | 1 |
| getArrayFromPointer(State, Expression, SymbolicExpression, NumericExpression, CIVLSource) | | 0% | | 0% | 12 | 12 | 52 | 52 | 1 | 1 |
| executeBundleUnpack(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | 0% | 9 | 9 | 44 | 44 | 1 | 1 |
| executeGcommCreate(State, int, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | 0% | 7 | 7 | 41 | 41 | 1 | 1 |
| executeBarrierCreate(State, int, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | 0% | 4 | 4 | 27 | 27 | 1 | 1 |
| executeCommEnqueue(State, int, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 28 | 28 | 1 | 1 |
| executeBarrierEnter(State, int, Expression[], SymbolicExpression[]) | | 0% | | 0% | 3 | 3 | 29 | 29 | 1 | 1 |
| getMatchedMessageFromGcomm(int, SymbolicExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression, CIVLSource) | | 0% | | 0% | 8 | 8 | 27 | 27 | 1 | 1 |
| executeBundlePack(State, int, CIVLBundleType, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | 0% | 7 | 7 | 25 | 25 | 1 | 1 |
| executeGbarrierCreate(State, int, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | 0% | 3 | 3 | 25 | 25 | 1 | 1 |
| executeCommCreate(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 3 | 3 | 20 | 20 | 1 | 1 |
| executeCommProbe(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 3 | 3 | 19 | 19 | 1 | 1 |
| executeCommSeek(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 3 | 3 | 18 | 18 | 1 | 1 |
| getEmptyMessage(State) | | 0% | | n/a | 1 | 1 | 12 | 12 | 1 | 1 |
| executeCommSize(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 2 | 2 | 13 | 13 | 1 | 1 |
| executeBundleSize(State, int, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | 0% | 8 | 8 | 9 | 9 | 1 | 1 |
| executeScopeParent(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| executeWait(State, int, Expression[], SymbolicExpression[], CIVLSource, Location) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| executeScopeDefined(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| executeProcDefined(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| executeExit(State, int) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| executeCommDefined(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| executeGcommDefined(State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| isValidPointer(SymbolicExpression) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| execute(State, int, CallOrSpawnStatement) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} |  | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| initialize(State) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| name() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| wrapUp(State) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| LibcivlcExecutor(Executor, PrintStream, boolean, ModelFactory) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |