[Boogie Backend] Use the original names of variables when generating Boogie #5753
Triggered via pull request
November 29, 2023 00:40
Status
Success
Total duration
31m 18s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 37s
benchcomp-tests
6m 2s
perf
26m 7s
bookrunner
16m 12s
Matrix: regression