... uint256 amount
) private {
require(from != address(0), "ERC20: transfer from the zero address");
require(to != address(0), "ERC20: transfer to the zero address");
console.log(from,to,amount);
console.log('inSwapAndLiquify',inSwapAndLiquify);
c...
...合约单约测试属性、代码扁平化（避免无意义的嵌套）、ERC 代币是否规范。
- `slither-check-upgradeability`:[Review `delegatecall`-based upgradeability](https://github.com/crytic/slither/wiki/Upgradeability-Checks)
- `slither-prop`:[Automatic unit test and property gene...