Skip to content

RepairSolver

RepairSolver #339

Triggered via pull request January 17, 2024 13:55
@rindPHIrindPHI
synchronize #90
RepairSolver
Status Failure
Total duration 12m 2s
Artifacts

test-isla.yml

on: pull_request
Fit to window
Zoom out
Zoom in

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.