Skip to content
certora-basic

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

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 #141

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

certora-basic.yml

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