Rappie

Slither works fine ``` $ slither --version 0.8.3 $ which slither /home/rappie/.local/bin/slither $ echo $PATH /home/rappie/go/bin:/usr/lib/go/bin:/home/rappie/.yarn/bin:/home/rappie/.config/yarn/global/node_modules/.bin:/home/rappie/.local/bin:/home/rappie/go/bin:/usr/lib/go/bin:/home/rappie/.yarn/bin:/home/rappie/.config/yarn/global/node_modules/.bin:/home/rappie/.local/bin:/home/rappie/.nvm/versions/node/v14.19.0/bin:/opt/jython/bin/:/home/rappie/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/bin:/var/lib/flatpak/exports/bin:/usr/lib/jvm/default/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/var/lib/snapd/snap/bin ```

Well, the thing is.. I don't know how to reproduce the error. I've tried it many times already. I've actually been waiting for it to happen again and posted this...

We're in luck. I got one again right away :smile: ``` $ slither . --print echidna 'npx hardhat compile --force' running DeclarationError: Undeclared identifier. --> contracts/Target.sol:11:14: | 11 | emit...

This bug in `crytic-compile` could be related: https://github.com/crytic/crytic-compile/issues/268#issuecomment-1148811977

Want me to test something else or can I delete my broken project directory copy that has this error?

I wouldn't use this during the real fuzzing campaign but during research, experimentation, setting up property tests, etc. For example: When trying to improve coverage I often want to test...

Simple test log `.json` file. Make sure to test with and without the contract's address in the sender list: ``` sender: ["0x6Ecbe1DB9EF729CBe972C83Fb886247691Fb6beb"] ``` JSON: ``` [ { "event": "AccountCreated", "address":...

Sure :) https://github.com/rappie/slither-issue1319-environment

Any progress? I have tried narrowing it down as much as possible. It looks it has something to do with the compiler version. With `0.5.11` it fails, with `0.8.12` it...

Some problem. What I did: - First uninstall with with `pip uninstall ` - Clone repo - Run `sudo python setup.py install` I did this for both `slither` and `crytic-compile`....