search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.68k stars 472 forks source link

ModuleNotFoundError: No module named 'manticore.native'; 'manticore' is not a package #2549

Closed jcrreis closed 2 years ago

jcrreis commented 2 years ago

Discussed in https://github.com/trailofbits/manticore/discussions/2548

Originally posted by **jcrreis** May 15, 2022 Hello, I'm trying to access manticore ethereum API but i get the following error: ``` from manticore.ethereum import ManticoreEVM ModuleNotFoundError: No module named 'manticore.ethereum'; 'manticore' is not a package ``` Code: ``` from manticore.ethereum import ManticoreEVM m = ManticoreEVM() ``` Setup: OS: Linux Python version: 3.10.4 and 3.8.10 (tried both) Installation: Installed via pip with : ``` pip install manticore ``` Can you help me ? Thank you
ekilmer commented 2 years ago

That's odd. Could it be that the pip executable on your path is tied to a different version of Python?

Try the following:

$ python3 -m pip install manticore

$ python3
>>> from manticore.ethereum import ManticoreEVM
jcrreis commented 2 years ago

If I import via terminal like you suggested it works, the problem seems when I try to import from a .py file and then execute that file with 

python3 file.py

It doesn't recognizes manticore package, it's even oddier...

jcrreis commented 2 years ago

If I import via terminal like you suggested it works, the problem seems when I try to import from a .py file and then execute that file with

python3 file.py

It doesn't recognizes manticore package, it's even oddier...

nvm, i used python, which is tied to global python instalation, instead of python3, fixed, thank you for your help