| execute_fopen(CIVLSource, State, int, LHSExpression, Expression[], SymbolicExpression[]) |  | 0% | | 0% | 9 | 9 | 69 | 69 | 1 | 1 |
| splitFormat(CIVLSource, StringBuffer) | | 0% | | 0% | 24 | 24 | 77 | 77 | 1 | 1 |
| execute_fprintf(CIVLSource, State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 0% | | 0% | 14 | 14 | 54 | 54 | 1 | 1 |
| getString(CIVLSource, State, SymbolicExpression) | | 0% | | 0% | 5 | 5 | 23 | 23 | 1 | 1 |
| printf(CIVLSource, StringBuffer, ArrayList) | | 0% | | 0% | 6 | 6 | 16 | 16 | 1 | 1 |
| executeWork(State, int, CallOrSpawnStatement) |  | 66% | | 33% | 13 | 17 | 7 | 26 | 0 | 1 |
| initialContents(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| name() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| initialize(State) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| wrapUp(State) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| LibstdioExecutor(Executor, PrintStream, boolean, ModelFactory) | | 100% | | 67% | 2 | 4 | 0 | 16 | 0 | 1 |
| execute_filesystem_create(CIVLSource, State, int, LHSExpression, Expression[], SymbolicExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| execute(State, int, CallOrSpawnStatement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |