| genExpression(String, SymbolicType, SymbolicExpression.SymbolicOperator, String[]) |  | 0% | | 0% | 36 | 36 | 85 | 85 | 1 | 1 |
| genTypeDeclatation(String, SymbolicType, String[]) | | 0% | | 0% | 11 | 11 | 39 | 39 | 1 | 1 |
| genUnitTest(int, String, String[]) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| genClassHeader(String, String) | | 0% | | n/a | 1 | 1 | 12 | 12 | 1 | 1 |
| toList(String[]) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| genTestClass(String, List) | | 0% | | n/a | 1 | 1 | 11 | 11 | 1 | 1 |
| createTestFile(String, String) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| genVariableDeclaration(SymbolicType, String, String) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| genSigma(String, SymbolicType, String[]) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| callValid(String, String, String) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| callValidWhy3(String, String, String) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| assertEquals(String, String) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| TestPrinter2() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| genResultTypeDeclatation(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |