Improve Kani handling of function markers #2659

Sign in to view logs

Triggered via pull request November 15, 2024 20:05

celinval

synchronize #3718

Status Success

Total duration 1h 8m 58s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp