Merge pull request #2 from philzook58/cvc5 #17

Annotations

11 errors and 1 warning

docs/conf.py:16:1: E402 Module level import not at top of file

docs/conf.py:17:1: E402 Module level import not at top of file

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

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

knuckledragger/smt.py:14:16: F405 `FuncDeclRef` may be undefined, or defined from star imports

knuckledragger/smt.py:28:17: F405 `Bool` may be undefined, or defined from star imports

knuckledragger/smt.py:30:29: F405 `Implies` may be undefined, or defined from star imports

knuckledragger/smt.py:38:29: F405 `DatatypeSortRef` may be undefined, or defined from star imports

knuckledragger/smt.py:39:17: F405 `DatatypeRef` may be undefined, or defined from star imports

knuckledragger/smt.py:47:20: F405 `ArraySort` may be undefined, or defined from star imports

Process completed with exit code 2.

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/