Skip to content
Kani Extra

[Boogie Backend] Use the original names of variables when generating Boogie #133

Sign in to view logs

[Boogie Backend] Use the original names of variables when generating Boogie

[Boogie Backend] Use the original names of variables when generating Boogie #133

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
7s
Verification Benchmarks / perf-benchcomp
1h 0m 20s
1h 0m 27s