- 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.
- static analysis tool. good for producing non-coder human readable artefacts about whole smart contract system.
python Simulations ….
python simulations …