I am currently using Windows 10 with, I believe, WSL1.
- System configuration: Ubuntu [ Version: 22.04.3]
- Mythril version: [ Version: 0.24.8 ]
- Numpy Version: [ Version: 2.2.1]
- Python Version: [ Version: 3.10.12]
When I type this command:
myth analyzeI get the following warning:
/home/slither/mythril/complete/0.4.11/0x0a2b7fd09f82b221f4704dc2501eb4c12cce346d.solError message occured /home/slither/mythril-env/lib/python3.10/site-packages/numpy/_core/getlimits.py:551:UserWarning: Signature b'\x00\xd0\xcc\xcc\xcc\xcc\xcc\xcc\xfb\xbf\x00\x00\x00\x00\x00\x00' for <class 'numpy.longdouble'> does not match any known type: falling back to type probe function.This warnings indicates broken support for the dtype! machar = _get_machar(dtype)***I asked ChatGPT the answer was The warning you're seeing is related to a compatibility issue between NumPy and your system's floating-point number support, specifically for the longdouble type. This warning isn't critical and likely won't affect the functionality.
I have tried to find more, and the answer was that the WSL 1 is not compatible with Mythril. I installed WSL 2, but it's not installing on my PC. How do I resolve this warning message?