Skip to content
Kani CI

Propogate backend options into goto-synthesizer #5586

Sign in to view logs

Propogate backend options into goto-synthesizer

Propogate backend options into goto-synthesizer #5586

Triggered via pull request October 30, 2023 20:32
@adpaco-awsadpaco-aws
synchronize #2643
qinheping:synthesizer-args
Status Success
Total duration 41m 45s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
17m 2s
write-json-symtab-regression
benchcomp-tests
6m 25s
benchcomp-tests
perf
41m 36s
perf
bookrunner
28m 21s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in