...ocal variables are supported. To access storage variables, use the ".slot" and ".offset" suffixes.`
报错信息指出,只有局部变量可以这样访问,而要访问存储变量,我们需要使用 ".slot" 和 ".offset" 后缀。
## 使用 .slot 后缀获取变量存储槽
首先,我们...
...liquidate看起来更容易出问题:
```js
// repay a user's loan and get back their collateral. no discounts.
function liquidate(address user, uint256 amount) public returns (uint256) {
require(safeDebt(user) r降低 -> safedebt降低
liquidate(user,amount)
-> 满足safeDebt ...
...ources/u256.move:316: add
enter loop, variable(s) carry, i, ret havocked and reassigned
carry = 54
i = 3792
ret = u256.U256{v0 = 26418, v1 = 27938, v2 = 6900, v3 = 1999}
at ./sources/u256.move:346: add
ABORTED
FAILURE proving 1 modules from package `u256` in 9.143...