Skip to content
certora-basic

test: dynamic oracle bounds & param registry #107

Sign in to view logs

test: dynamic oracle bounds & param registry

test: dynamic oracle bounds & param registry #107

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

certora-basic.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-0a78b1f0-ea58-4fd5-8f4c-055bb8d3135b-18133419680 Expired
29.5 KB
sha256:f87e279993b006d51cb7cc44ab1438db3139bba75e419331bbf28313c9fb9b7a