I get an error in the solver when using angr :
...
File "/usr/lib/python3.13/site-packages/angr/state_plugins/solver.py", line 416, in BVS
r = claripy.BVS(
name,
...<3 lines>...
**kwargs,
)
File "/usr/lib/python3.13/site-packages/claripy/ast/bv.py", line 225, in BVS
return BV(
"BVS",
...<5 lines>...
**kwargs,
)
TypeError: Base.__new__() got an unexpected keyword argument 'uninitialized'
This is because the code in python-claripy-git is up to date and they changed some stuff in it, maybe the package would be more stable with python-clairpy (non git) as a dependency
Pinned Comments
giver commented on 2024-02-25 16:20 (UTC)
The package will be updated to the latest version whose dependencies are all met (typically, it would be the same version as
python-pyvex
package).Please flag this package as out-of-date only when all of its dependencies have been updated or when this package cannot build.
If you want to use the latest version of angr regardless of unmet dependencies, you can manually update the version (
pkgver
) and add the--skip-dependency-check
flag to the build command (python -m build
) in thePKGBUILD
.Thank you.