RepairSolver #339
Annotations
9 errors
/home/runner/work/isla/isla/src/isla/helpers.py#L1177
elif not str(obj):
return repr(obj)
else:
return str(obj)
-def depth_indent(c = ".") -> str:
+
+def depth_indent(c=".") -> str:
"""
This function returns a string of :code:`c` characters/strings, where the
number of characters is equal to the depth of the current function call
stack (where only the calling function is considered). This is useful for
debugging recursive functions.
|
isla/helpers.py#L134
Undefined name 'flatten' (F821)
|
isla/helpers.py#L1182
Expected 2 blank lines, found 1 (E302)
|
isla/helpers.py#L1182
Unexpected spaces around keyword / parameter equals (E251)
|
isla/helpers.py#L1182
Unexpected spaces around keyword / parameter equals (E251)
|
isla/repair_solver.py#L1
'inspect' imported but unused (F401)
|
isla/repair_solver.py#L30
'returns.functions.tap' imported but unused (F401)
|
isla/repair_solver.py#L88
'isla.z3_helpers.z3_eq' imported but unused (F401)
|
test
Process completed with exit code 1.
|