Error scanning the contract about theo

[i11m20n]

I have encountered the same problem. Have you solved it?

[josu22]

I have encountered the same problem. Have you solved it?

Nope man, i'm just trying. But nothing for now.

[i11m20n]

I have encountered the same problem. Have you solved it?

Nope man, i'm just trying. But nothing for now.

Reference here: Consensys/mythril#898 Might find the answer

[josu22]

I have encountered the same problem. Have you solved it?

Nope man, i'm just trying. But nothing for now.

Reference here: ConsenSys/mythril#898 Might find the answer

I just try that. But not the fix. Because, Mythril must be in 0.21.15 version.

root@EXCALIBUR-ZERO:~# theo
Traceback (most recent call last):
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 583, in _build_master
ws.require(requires)
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 900, in require
needed = self.resolve(parse_requirements(requirements))
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 791, in resolve
raise VersionConflict(dist, req).with_context(dependent_req)
pkg_resources.ContextualVersionConflict: (mythril 0.19.9 (/usr/local/lib/python3.7/dist-packages), Requirement.parse('mythril==0.21.15'), {'theo'})

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
File "/usr/local/bin/theo", line 6, in
from pkg_resources import load_entry_point
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 3250, in
@_call_aside
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 3234, in _call_aside
f(*args, **kwargs)
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 3263, in _initialize_master_working_set
working_set = WorkingSet._build_master()
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 585, in _build_master
return cls._build_from_requirements(requires)
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 598, in _build_from_requirements
dists = ws.resolve(reqs, Environment())
File "/usr/lib/python3/dist-packages/pkg_resources/init.py", line 786, in resolve
raise DistributionNotFound(req, requirers)
pkg_resources.DistributionNotFound: The 'mythril==0.21.15' distribution was not found and is required by theo

[cleanunicorn]

@josu22 @pipbug Thank you for trying the tool.

As a workaround you can create an empty signatures.db file in your home dir.

$ touch $HOME/.mythril/signatures.db

It indeed is a mythril problem.