`modifies` Clauses for Function Contracts #22

Sign in to view logs

Triggered via pull request November 3, 2023 19:08

synchronize #2800

Status Success

Total duration 1h 55m 16s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp

Annotations

1 error

repository 'https://github.com/model-checking/kani/' not found