Certora verification

Add `removeLastOwner` for replayability #52

Sign in to view logs

Triggered via pull request April 11, 2024 20:59

opened #52

add-removeLastOwner-replayable

Status Success

Total duration 2h 4m 34s

Artifacts –

certora.yml

on: pull_request

Matrix: verify