Skip to content
Performance Benchmarking

Contracts/DFCC: split conjunctions in loop invariants #727

Sign in to view logs

Contracts/DFCC: split conjunctions in loop invariants

Contracts/DFCC: split conjunctions in loop invariants #727

Triggered via pull request September 17, 2024 11:50
@tautschnigtautschnig
opened #8458
tautschnig:loop-invariants-conjunction-splitting
Status Failure
Total duration 28m 32s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
28m 20s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

1 error
perf-benchcomp
Process completed with exit code 1.