Improve Kani handling of function markers #2661

Sign in to view logs

Triggered via pull request November 16, 2024 02:08

celinval

synchronize #3718

Status Success

Total duration 1h 3m 31s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp