Skip to content
certora-stata

fix: vm.assume for user address for the Pool Deficit tests & update s… #160

Sign in to view logs

fix: vm.assume for user address for the Pool Deficit tests & update s…

fix: vm.assume for user address for the Pool Deficit tests & update s… #160

Triggered via push February 24, 2025 16:27
@sakulstrasakulstra
pushed 4602f2b
main
Status Success
Total duration 26m 58s
Artifacts –

certora-stata.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in