SheldonHolmgren

Thanks for pinpointing it to the solc bug. Looks like the earliest solc version in which it was fixed is 0.6.0, so unfortunately upgrading solc might require some changes in...

What worked for me was ``` pip uninstall setuptools pip install setuptools pip install cairo-lang ``` Originally I managed to install cairo-lang without problem on Python 3.10 but I had...

I believe the python documentation might also need updating. I was casually browsing through https://github.com/crytic/optik source code and noticed that is creates a `MaatEngine` with `ARCH.EVM` which is not mentioned...

I need this feature in Slither so I might implement this in crytic-compile soon-ish. (No commitments yet - I'm just signalling my interest for now.)

Actually, for the sake of simplicity I'm thinking about simply exposing a method in crytic's `CompilationUnit`: ```python def getImplementationAddress(self) -> Union[None, str] ``` and propagating it to `SlitherCompilationUnit`. That way...

I had the same issue. I managed to fix it by completely uninstalling nix (https://nix-tutorial.gitlabpages.inria.fr/nix-tutorial/installation.html#uninstalling-nix) and downloading the `echidna-test` v2.0.4 binary from https://github.com/crytic/echidna/releases

I see what's going on. In https://github.com/crytic/optik/blob/master/optik/echidna/interface.py#L522 optik assumes that `echidna-test --format json` will have a json in the second line of the output. But starting from commit 1f59ae189258ab52342331a92208f5b6b8930ea7 the...

Thank you, that works. To me, this workaround makes this issue a very low priority. If you decide to close it, I will not be making noise about it.

In case it matters, this would be useful also in non-background tasks. In my use case, I'm using reflex for generating a constantly growing report that doesn't require the reflex...

Maybe this could be supported with deterministic methods converting to string representation and parsing back, either implicit (generated) or explicitly implemented by the user? The latter would probably require duplicate...