Python package

z3simp tactic. blog post link #70

Triggered via push December 16, 2024 19:04

philzook58

pushed 410b9b2

main

Status Failure

Total duration 3m 30s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

python-package.yml

on: push

Matrix: build

Annotations

22 errors and 2 warnings

Ruff (F401): kdrag/all.py#L1

kdrag/all.py:1:17: F401 `kdrag` imported but unused

Ruff (F401): kdrag/all.py#L2

kdrag/all.py:2:21: F401 `kdrag.smt` imported but unused

Ruff (F401): kdrag/all.py#L3

kdrag/all.py:3:31: F401 `kdrag.theories.real` imported but unused

Ruff (F401): kdrag/all.py#L4

kdrag/all.py:4:25: F401 `kdrag.solvers` imported but unused

Ruff (F401): kdrag/contrib/prolog/__init__.py#L1

kdrag/contrib/prolog/__init__.py:1:8: F401 `lark` imported but unused

Ruff (F403): kdrag/smt.py#L15

kdrag/smt.py:15:5: F403 `from z3 import *` used; unable to detect undefined names

Ruff (F405): kdrag/smt.py#L17

kdrag/smt.py:17:16: F405 `Solver` may be undefined, or defined from star imports

Ruff (F403): kdrag/smt.py#L19

kdrag/smt.py:19:5: F403 `from z3 import *` used; unable to detect undefined names

Ruff (F405): kdrag/smt.py#L22

kdrag/smt.py:22:16: F405 `Solver` may be undefined, or defined from star imports

Ruff (F403): kdrag/smt.py#L28

kdrag/smt.py:28:5: F403 `from cvc5.pythonic import *` used; unable to detect undefined names

build (3.11)

Process completed with exit code 1.

build (3.10)