| translate(SymbolicExpression, TestTranslator.TestTranslationState) |  | 0% | | 0% | 17 | 17 | 20 | 20 | 1 | 1 |
| translateSimpleOperation(SymbolicExpression, SymbolicExpression.SymbolicOperator, TestTranslator.TestTranslationState) | | 0% | | 0% | 3 | 3 | 19 | 19 | 1 | 1 |
| translateAPPLY(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| translateType(SymbolicType, TestTranslator.TestTranslationState) | | 0% | | 0% | 10 | 10 | 22 | 22 | 1 | 1 |
| translateTupleOrUnionType(SymbolicType, TestTranslator.TestTranslationState) | | 0% | | 0% | 3 | 3 | 14 | 14 | 1 | 1 |
| translateTupleWrite(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| translatePOWER(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| translateARRAY(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| translateDENSE_ARRAY_WRITE(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| translateFunctionType(SymbolicFunctionType, TestTranslator.TestTranslationState) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| translateCOND(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| generateValidCheckMethod(SymbolicExpression, SymbolicExpression, ValidityResult.ResultType, boolean, String, String[]) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| translateQuantifiedOrLambda(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| translateArrayType(SymbolicArrayType, TestTranslator.TestTranslationState) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| translateTupleRead(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| translateUnionExtractOrInjectOrTest(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| translateSYMBOLIC_CONSTANT(SymbolicConstant, TestTranslator.TestTranslationState) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| translateCAST(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| translateARRAY_LAMBDA(SymbolicExpression, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| checkValid(BooleanExpression, BooleanExpression, TestTranslator.TestTranslationState, ValidityResult.ResultType) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| checkValidWhy3(BooleanExpression, BooleanExpression, TestTranslator.TestTranslationState, ValidityResult.ResultType) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| translateConcrete(SymbolicExpression) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| translateWithTemporaryVariableForExpression(TestTranslator.TestTranslationState, SymbolicType, SymbolicExpression.SymbolicOperator, String[]) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| translateWithTemporaryVariableForSigma(TestTranslator.TestTranslationState, SymbolicType, String[]) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| translateUninterpretedType(SymbolicUninterpretedType, TestTranslator.TestTranslationState) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| number(String, boolean) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| TestTranslator() | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| translateWithTemporaryVariableForType(TestTranslator.TestTranslationState, SymbolicType, String[]) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| generateTestClass(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| symConstName(SymbolicConstant) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |