Skip to content
certora-basic

test: dynamic oracle bounds & param registry #117

Sign in to view logs

test: dynamic oracle bounds & param registry

test: dynamic oracle bounds & param registry #117

Triggered via pull request October 30, 2025 14:26
@yan-manyan-man
synchronize #36
test/dynamic-bounds
Status Success
Total duration 3m 35s
Artifacts 1

certora-basic.yml

on: pull_request
verify
3m 12s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-6e4b5615-ea03-4056-91ee-5ee3b170dc3b-18944040030 Expired
29.5 KB
sha256:260d7ac0b0f5df9107b19a24f94f227e2eec1585f0eb40823e215fb1e7fa4576