initial vampire. Rec ord constructor syntax. Vec2, floor. well formed… #18

Annotations

11 errors and 1 warning

Process completed with exit code 2.

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/__init__.py:5:15: F401 `.utils` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

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

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

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

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

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

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

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

The following actions use a deprecated Node.js version 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/