Georgescu Rares Daniel

Results 2 issues of Georgescu Rares Daniel

### Describe the issue: I am trying to run slither on [this](https://etherscan.io/address/0x29469395eaf6f95920e59f858042f0e28d98a20b#code) contract and I am running into an issue when it's generating intermediate representation for Helpers.executeTakeBid ### Code example...

bug

# Issue There is no documentation on how to use the websocket for checking sc verification status in the documentation, nor even any mention of it In Issues and PRs...