certora-basic

test: dynamic oracle bounds & param registry #109

Triggered via pull request October 1, 2025 13:40

yan-man

synchronize #36

test/dynamic-bounds

Status Success

Total duration 3m 54s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-e42a9e40-c6f7-44e7-90a1-cc393db931e3-18164126567 Expired	29.5 KB	`sha256:b14a82e5b0ba877fece62bc105f73009dbef2ea45716a8e3c87478c09ac26f3d`