0xicingdeath
0xicingdeath
When used in `property` mode with `echidna_x`, `psender` defines the address transactions originate from (from a single address). When used in `assertion mode`, echidna uses `sender`, in which it originates...
See `Audit.md` for instructions on installation and properties.
It would be beneficial to add explanation on the usage of asterisks on this repo On the gas column, the gas specification has a `[NUMBER]*` – like `SSTORE` uses `20000**`...
https://github.com/crytic/solc-select#ssl-certificate_verify_failed-on-running-solc-select-commands-investigation-ongoing Would help with UX, considering it's kind of hidden in the README Also considering this is out of our control
assuming hashes are saved here: https://github.com/crytic/solc/issues/1 add duplicity checks on keccak256/sha3 values
The current API expects users to either provide `all` (which will install all versions) or specifically list out which versions they want to install. It would be convenient for testing...
Scenarios: 1. If GitHub is unreachable, the `earliest_release` should be `0.4.10` instead of `0.4.0`. 2. If soliditylang is unreachable, an error should be raised 3. If a user installs `all`,...
To get the most up-to-date solc-select version, users have to run `pip install solc-select --upgrade`. With the recent changes in refactoring, if solc-select detects the old architecture, it will print...