Skip to content
Kani Extra

[Boogie Backend] Add two Boogie tests #172

Sign in to view logs

[Boogie Backend] Add two Boogie tests

[Boogie Backend] Add two Boogie tests #172

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
12s
Verification Benchmarks / perf-benchcomp
1h 1m 49s
1h 2m 1s