Solidity
forge
- always add expectReverts and expectEmits
- Soft rule of 4 negative cases to 1 postive case
- Can withdraw as borrower when liquidity. cant withdraw when no liqudiity. cant when not borrower. cant when past deadline. cant when undercollateralized.
slither
- static analysis tool. good for producing non-coder human readable artefacts about whole smart contract system.
python Simulations ….
Vyper
ethbrownie
pytest
- fixtures
python simulations …