Skip to content
Test ISLa

RepairSolver #339

Sign in to view logs

RepairSolver

RepairSolver #339

GitHub Actions / Flake8 failed Jan 17, 2024 in 0s

7 errors

Flake8 found 7 errors

Annotations

Check failure on line 134 in isla/helpers.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/helpers.py#L134 

Undefined name 'flatten' (F821)

Check failure on line 1182 in isla/helpers.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/helpers.py#L1182 

Expected 2 blank lines, found 1 (E302)

Check failure on line 1182 in isla/helpers.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/helpers.py#L1182 

Unexpected spaces around keyword / parameter equals (E251)

Check failure on line 1182 in isla/helpers.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/helpers.py#L1182 

Unexpected spaces around keyword / parameter equals (E251)

Check failure on line 1 in isla/repair_solver.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/repair_solver.py#L1 

'inspect' imported but unused (F401)

Check failure on line 30 in isla/repair_solver.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/repair_solver.py#L30 

'returns.functions.tap' imported but unused (F401)

Check failure on line 88 in isla/repair_solver.py

See this annotation in the file changed.

@github-actions github-actions / Flake8

isla/repair_solver.py#L88 

'isla.z3_helpers.z3_eq' imported but unused (F401)
View more details on GitHub Actions