Josselin Feist

Hi @bingen. Echidna will call all the contracts, but will currently look for properties, or failed assertions (if [`checkAsserts` is enabled](https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/assertion-checking.md)) only in the contract provided by the `--contract ContractName`...

Related to https://github.com/crytic/building-secure-contracts/issues/80

I am adding the high priority label to this issue, as I think it's now required for our users

Thank you for reporting the issue! We are going to look at it

@ksloven Thank you for your contribution. Note that the PR is still missing the Solidity file. I am not sure we want a separate type of vulnerability for the suicidal...

- [ ] Add test case - [ ] Link to real vuln, for example from https://github.com/trailofbits/publications - [ ] Use the same format for existing bug description

Hi, sorry for the late reply. The PR looks good, I added a small feedback to it.

In additional this PR removes the `--ignore-reurn-value` flag, as it becomes useless with the new exit code strategy [CLI BREAKING CHANGE]

Hi @JackHFeng. Thank you for your interest in Slither. This is actually an output artifact. Currently, Slither does not have a straightforward API to output properly the modfier's cfg into...

Hi @pcaversaccio, thanks for asking, this is a great question. For 0.5/0.6/0.7 the recomended versions are the latest ones. For 0.8, the recommendations are currently outdated, and will be update...