Traceback:
/opt/homebrew/Cellar/python@3.12/3.12.3/Frameworks/Python.framework/Versions/3.12/lib/python3.12/importlib/__init__.py:90: in import_module
return _bootstrap._gcd_import(name[level:], package, level)
tests/test_rerun_trajectories.py:4: in <module>
from moatless.edit.edit import EditCode
moatless/edit/__init__.py:1: in <module>
from moatless.edit.edit import EditCode
moatless/edit/edit.py:15: in <module>
from moatless.verify.types import VerificationError
E ModuleNotFoundError: No module named 'moatless.verify.types'
It seems like from moatless.verify.types import VerificationError should be from moatless.types import VerificationError
Running
poetry run pytest
on main results in:It seems like
from moatless.verify.types import VerificationError
should befrom moatless.types import VerificationError