| static {...} |  | 0% | | n/a | 1 | 1 | 51 | 51 | 1 | 1 |
| recursiveCalling(String[], Why3Primitives.Why3BuiltinFunction) | | 0% | | 0% | 6 | 6 | 14 | 14 | 1 | 1 |
| why3BoundVarDecl(String[], Why3Primitives.Why3Type[]) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| why3TupleDenseUpdate(String, String[], String[], int) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| why3FunctionDecl(String, Why3Primitives.Why3FunctionType, String, String[]) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| importText(Why3Primitives.Why3Lib) | | 0% | | 0% | 9 | 9 | 10 | 10 | 1 | 1 |
| why3ProverPredicate(String, Why3Primitives.Why3FunctionType, String, String[]) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| why3FunctionCall(String, String[]) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| why3ArrayType(Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3MapType(Why3Primitives.Why3Type, Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3BagType(Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3IfThenElse(String, String, String) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| why3TupleType(String, String[], Why3Primitives.Why3Type[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| constantDecl(String, Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3UninterpretedFunctionDecl(String, Why3Primitives.Why3FunctionType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3TypeAlias(String, Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3FunctionType(Why3Primitives.Why3Type, Why3Primitives.Why3Type[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3UninterpretedType(String, Why3Primitives.Why3Type[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newAxiom(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| typeDecl(Why3Primitives.Why3UninterpretedType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3cast(String, Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3BoundVarDecl(String, Why3Primitives.Why3Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3Exists(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3Forall(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3TupleUpdate(String, String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3Let(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| why3AliasType(String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| Why3Primitives() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |