Skip to content
Kani CI

expect() does not take format strings #5628

Sign in to view logs

expect() does not take format strings

expect() does not take format strings #5628

Re-run triggered November 8, 2023 06:19
@zhassan-awszhassan-aws
#2865
matthiaskrgr:func
Status Success
Total duration 52m 21s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
20m 25s
write-json-symtab-regression
benchcomp-tests
5m 34s
benchcomp-tests
perf
52m 11s
perf
bookrunner
16m 44s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in