| getDirectingTransformerRecord(CIVLConfiguration) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| 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% | | 91% | 1 | 7 | 0 | 18 | 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 |
| getMacroTransformerRecord(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 |
| getSvcompTransformerRecord(CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getGeneralTransformerRecord() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLoopContractTransformerRecord() | | 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 |