Skip to content
Kani

Add loop_invariants for some Int power functions #1611

Sign in to view logs

Add loop_invariants for some Int power functions

Add loop_invariants for some Int power functions #1611

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
4m 9s
Verify std library (partition 1)
6m 25s
Verify std library (partition 3)
11m 5s
Verify std library (partition 1)
3m 48s
Verify std library (partition 2)
9m 15s
Verify std library (partition 2)
6m 27s
Verify std library (partition 4)
5m 23s
Verify std library (partition 3)
6m 56s
Verify std library (partition 4)
6m 22s
59m 50s