Skip to content
Kani Format Check

[Boogie Backend] Add an unbounded array API #5813

Sign in to view logs

[Boogie Backend] Add an unbounded array API

[Boogie Backend] Add an unbounded array API #5813

Triggered via pull request December 19, 2023 00:38
@zhassan-awszhassan-aws
synchronize #2955
zhassan-aws:unbounded-array3
Status Success
Total duration 2m 32s
Artifacts –

format-check.yml

on: pull_request
format-check
11s
format-check
clippy-check
2m 21s
clippy-check
Fit to window
Zoom out
Zoom in