Skip to content
Kani CI

[Boogie Backend] Add datatypes to Boogie AST (#2949) #5969

Sign in to view logs

[Boogie Backend] Add datatypes to Boogie AST (#2949)

[Boogie Backend] Add datatypes to Boogie AST (#2949) #5969

Triggered via push December 16, 2023 02:41
@zhassan-awszhassan-aws
pushed 90079ee
features/boogie
Status Success
Total duration 41m 15s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
10m 42s
write-json-symtab-regression
benchcomp-tests
3m 31s
benchcomp-tests
perf
27m 17s
perf
bookrunner
15m 40s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in