certora

docs: fix natspec in simulateAndRevert #948

Sign in to view logs

Triggered via push April 10, 2025 11:30

mmv08

main

Status Success

Total duration 14m 31s

Artifacts –

certora.yml

on: push

Matrix: verify

⚡