Skip to content
certora-basic

test: dynamic oracle bounds & param registry #104

Sign in to view logs

test: dynamic oracle bounds & param registry

test: dynamic oracle bounds & param registry #104

Triggered via pull request September 29, 2025 17:50
@yan-manyan-man
synchronize #36
test/dynamic-bounds
Status Success
Total duration 3m 45s
Artifacts 1

certora-basic.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-c88fcf43-a613-4296-b34f-6f1d9cfbc736-18105902594 Expired
29.5 KB
sha256:1864b1080ee43e6455138f126b71697a4140cd4a06d81ee9bfb6eed5bd645a86