Certora formally verified rewards checker #452
Annotations
2 errors
|
Check Lens storage layout
No workflow run found with an artifact named "main.src_aave-v2_lens_Lens.sol-Lens.json"
|
|
Check Morpho storage layout
No workflow run found with an artifact named "main.src_aave-v2_Morpho.sol-Morpho.json"
|
The logs for this run have expired and are no longer available.
Loading