Skip to content
Performance Benchmarking

CONTRACTS: separation checks using nondet demonic variable #1112

Sign in to view logs

CONTRACTS: separation checks using nondet demonic variable

CONTRACTS: separation checks using nondet demonic variable #1112

Triggered via pull request January 25, 2025 21:20
@remi-delmas-3000remi-delmas-3000
synchronize #8576
remi-delmas-3000:contracts-is-fresh-demonic
Status Success
Total duration 15m 6s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
14m 58s
perf-benchcomp
Fit to window
Zoom out
Zoom in