| executeWork(State, int, CallOrSpawnStatement) |  | 0% | | 0% | 50 | 50 | 45 | 45 | 1 | 1 |
| executeWsCreate(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 3 | 3 | 17 | 17 | 1 | 1 |
| execute_gshared_create(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 16 | 16 | 1 | 1 |
| execute_shared_create(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 10 | 10 | 1 | 1 |
| execute_team_create(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| LibompExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| execute(State, int, CallOrSpawnStatement) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_arrive_single(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_arrive_sections(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_arrive_loop(CIVLSource, State, int, String, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_barrier_and_flush(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_barrier(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_flush_all(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_flush(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_apply_assoc(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_write(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| execute_read(CIVLSource, State, int, String, Expression[], SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |