Manticore can't work on EVM due to crytic-compile's latest release

[montyly]

This is a known issue, that should be visible to the users.

Crytic-compile had breaking changes with 0.2.0

Until #2444 is merged, and we have a new Manticore's release, the installation through pip or github is broken for EVM.

As a temporary workaround: users can downgrade crytic-compile:

$ pip install -Iv crytic-compile==0.1.13

If you use also Slither, I recommend to do this in a virtual environment, as downgrading crytic-compile will break Slither.

[alexon1234]

The PR is merged, can we close this issue?

[montyly]

Hi @alexon1234, I think we can keep it open until the next release (#2456), for users' awareness

[ehennenfent]

Closed w/ #2456