(node: doc.FunctionDef)
| 146 | |
| 147 | |
| 148 | def is_recursive(node: doc.FunctionDef) -> bool: |
| 149 | # Check if it is a recursive function |
| 150 | for stmt in node.body: |
| 151 | if is_called(stmt, node.name): |
| 152 | return True |
| 153 | return False |
| 154 | |
| 155 | |
| 156 | def collect_symbolic_var_from_prelude( |
no test coverage detected
searching dependent graphs…