Skip to content
Kani Extra

Function Contracts: Closure Type Inference #1224

Sign in to view logs

Function Contracts: Closure Type Inference

Function Contracts: Closure Type Inference #1224

Triggered via pull request June 28, 2024 21:25
@pi314mmpi314mm
synchronize #3307
Status Success
Total duration 53m 25s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
3s
Auto Label
Verification Benchmarks  /  perf-benchcomp
53m 7s
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in