Skip to content
certora-basic

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

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

Triggered via pull request February 24, 2025 15:40
@TepNikTepNik
opened #105
bgd-labs:test/fixed-pool-deficit-assume-user
Status Skipped
Total duration 4s
Artifacts –

certora-basic.yml

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