Skip to content
Certora

[Certora] Improve assets accounting specification #561

Sign in to view logs

[Certora] Improve assets accounting specification

[Certora] Improve assets accounting specification #561

Triggered via pull request August 14, 2024 13:35
@QGarcheryQGarchery
opened #689
certora/improve-assets-accounting
Status Success
Total duration 15m 53s
Artifacts –

certora.yml

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