Certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors

Versions

• 20230502.8.49.893354
• 20230502.8.16.36864
• 20230502.7.9.115330
• 20230502.5.44.464727
• 20230501.23.17.45153
• 20230501.22.27.419078
• 20230501.21.46.255783
• 20230501.21.0.971287
• 20230501.18.13.252385
• 20230501.17.22.250778
• 20230501.16.34.777033
• 20230501.15.50.876040
• 20230501.12.17.969843
• 20230501.11.50.112654
• 20230501.10.38.659906
• 20230430.18.40.419597