certora-basic

test: dynamic oracle bounds & param registry #108

Triggered via pull request October 1, 2025 13:22

yan-man

synchronize #36

test/dynamic-bounds

Status Success

Total duration 3m 31s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-ebb29282-f6c4-4b01-9a84-c9849c50d593-18163601286 Expired	29.4 KB	`sha256:53623448ea18280570ad57698b035f68c5e253d6ddcdb51f11816307c5bb6ac7`