Skip to content
certora-basic

test: dynamic oracle bounds & param registry #115

Sign in to view logs

test: dynamic oracle bounds & param registry

test: dynamic oracle bounds & param registry #115

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

certora-basic.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-12e0f7d5-007a-492f-9c07-f1747f8c26a5-18943619712 Expired
29.5 KB
sha256:97a7545c0dd017b914d66b8a3fa335323e6b0b131d45be4b2ba0d5f3f1289f66