Skip to content
Kani CI

[Boogie Backend] Add SMT bit-vector builtin operations (#2901) #5809

Sign in to view logs

[Boogie Backend] Add SMT bit-vector builtin operations (#2901)

[Boogie Backend] Add SMT bit-vector builtin operations (#2901) #5809

Triggered via push December 6, 2023 00:47
@zhassan-awszhassan-aws
pushed e907a73
features/boogie
Status Success
Total duration 34m 41s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
10m 47s
write-json-symtab-regression
benchcomp-tests
4m 1s
benchcomp-tests
perf
30m 9s
perf
bookrunner
16m 9s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in