Skip to content
Certora

[Certora] mutant 13 #254

Sign in to view logs

[Certora] mutant 13

[Certora] mutant 13 #254

Triggered via pull request November 23, 2023 13:03
@QGarcheryQGarchery
synchronize #606
certora/mutant-13
Status Success
Total duration 32m 52s
Artifacts –

certora.yml

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