issues
search
morpho-org
/
metamorpho
MetaMorpho
https://morpho.org
Other
53
stars
26
forks
source link
[Certora] Update morpho-blue
#430
Open
QGarchery
opened
1 week ago
QGarchery
commented
1 week ago
This PR:
refactors
Util.sol
file to only contain ERC20 functions
updates its morpho-blue dependency, taking advantage of the new Certora utility file introduced in
this PR
. This removes the need for
libId
moves the
withdrawnAssets
function to the spec
while we are at it, also formatting .conf files as JSON files
fixes a timeout in Liveness
This PR:
Util.sol
file to only contain ERC20 functionslibId
withdrawnAssets
function to the spec