| # Ethereum helper methods | |
| # source this in your .bashrc or .zshrc file with `. ~/.ethrc` | |
| # --- Token addresses --- | |
| aave=0x7Fc66500c84A76Ad7e9c93437bFc5Ac33E2DDaE9 | |
| comp=0xc00e94Cb662C3520282E6f5717214004A7f26888 | |
| crv=0xD533a949740bb3306d119CC777fa900bA034cd52 | |
| dai=0x6B175474E89094C44Da98b954EedeAC495271d0F | |
| gtc=0xDe30da39c46104798bB5aA3fe8B9e0e1F348163F | |
| mkr=0x9f8F72aA9304c8B593d555F12eF6589cC3A579A2 |
| // Add these tests into DssVest.t.sol | |
| uint256 constant WAD = 10**18; | |
| function add(uint256 x, uint256 y) internal pure returns (uint256 z) { | |
| require((z = x + y) >= x); | |
| } | |
| function testFuzzFail_1() public { | |
| // derived from echidna failure: | |
| // test_init_ids(115792089237316195423570985008687907853269984665640564039457584007913129639935,100242773934347682338375481833561433633362664707040856359631189992494487309630,10,39080061795132864699069909921915714851660400468839437511646123280429906730201,1524785992,0x20000) |
Create a repo. Make sure there is at least one file in it (even just the README) Generate ssh key:
ssh-keygen -t rsa -C "your_email@example.com"
Copy the contents of the file ~/.ssh/id_rsa.pub to your SSH keys in your GitHub account settings. Test SSH key:
ssh -T git@github.com
I recently stumbled upon Falsehoods programmers believe about time zones, which got a good laugh out of me. It reminded me of other great lists of falsehoods, such as about names or time, and made me look for an equivalent for Ethereum. Having found none, here is my humble contribution to this set.
estimateGas will return the gas required by my transactionCalling estimateGas will return the gas that your transaction would require if it were mined now. The current state of the chain may be very different to the state in which your tx will get mined. So when your tx i
There are certain files created by particular editors, IDEs, operating systems, etc., that do not belong in a repository. But adding system-specific files to the repo's .gitignore is considered a poor practice. This file should only exclude files and directories that are a part of the package that should not be versioned (such as the node_modules directory) as well as files that are generated (and regenerated) as artifacts of a build process.
All other files should be in your own global gitignore file. Create a file called .gitignore in your home directory and add anything you want to ignore. You then need to tell git where your global gitignore file is.
git config --global core.excludesfile ~/.gitignore
git config --global core.excludesfile %USERPROFILE%\.gitignore