Skip to content
Kani Extra

[Boogie Backend] Add datatypes to Boogie AST #273

Sign in to view logs

[Boogie Backend] Add datatypes to Boogie AST

[Boogie Backend] Add datatypes to Boogie AST #273

Triggered via pull request December 16, 2023 00:37
@zhassan-awszhassan-aws
opened #2949
Status Success
Total duration 18s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
4s
Auto Label
Verification Benchmarks  /  perf-benchcomp
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in