Skip to content

improve constructor readability #130

improve constructor readability

improve constructor readability #130

Triggered via pull request October 4, 2024 14:27
Status Success
Total duration 7m 36s
Billable time 16m
Artifacts

certora.yml

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