| getOpenMPSimplifier(CIVLConfiguration) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getOpenMP2CIVLTransformer(CIVLConfiguration) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkFunctionCalls(ASTNode, List) |  | 100% |  | 100% | 0 | 7 | 0 | 16 | 0 | 1 |
| getContractTransformerRecord(String, CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getIntOperationTransformerRecord(Map, CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| TransformerFactory(ASTFactory) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| getLoopContractTransformerRecord(CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getIOTransformerRecord(CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOpenMPSimplifierRecord(CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOpenMP2CIVLTransformerRecord(CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getGeneralTransformerRecord() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAnnotationTransformerRecord() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMPI2CIVLTransformerRecord() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPthread2CIVLTransformerRecord() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCuda2CIVLTransformerRecord() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShortCircuitTransformerRecord(CIVLConfiguration) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| hasFunctionCalls(AST, List) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |