Skip to content
certora-stata

Fixed vm.assume for user address for the Pool Deficit tests #159

Sign in to view logs

Fixed vm.assume for user address for the Pool Deficit tests

Fixed vm.assume for user address for the Pool Deficit tests #159

Triggered via pull request February 24, 2025 16:23
@sakulstrasakulstra
synchronize #105
bgd-labs:test/fixed-pool-deficit-assume-user
Status Skipped
Total duration 2s
Artifacts –

certora-stata.yml

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