| getContractTransformerRecord(String) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| 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% | | 92% | 1 | 7 | 0 | 18 | 0 | 1 |
| getMacroTransformerRecord(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 |
| getIntDivTransformerRecord(Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getGeneralTransformerRecord() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getIOTransformerRecord() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMPI2CIVLTransformerRecord() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOpenMPOrphanTransformerRecord() | | 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 |
| getSvcompUnPPTransformerRecord() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| hasFunctionCalls(AST, List) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| TransformerFactory(ASTFactory) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |