Skip to content
Kani CI

expect() does not take format strings #5626

Sign in to view logs

expect() does not take format strings

expect() does not take format strings #5626

Re-run triggered November 7, 2023 23:46
@zhassan-awszhassan-aws
#2865
matthiaskrgr:func
Status Success
Total duration 39m 13s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
18m 52s
write-json-symtab-regression
benchcomp-tests
3m 18s
benchcomp-tests
perf
27m 20s
perf
bookrunner
15m 39s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in