Fix certora properties on Gelato Swap Freezer #77

Triggered via pull request November 12, 2025 10:59

opened #18

Status Success

Total duration 2m 15s

Artifacts 1

certora-gsm-4626.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-4d9da05a-f715-43b5-93fc-ca69985555b0-19295110387	28.2 KB	`sha256:da7f335c73760a937591a4c731d6adcb20fd139807de25908a9864322e823278`