Skip to content
Kani

Add harnesses for safety of primitive conversions #1243

Sign in to view logs

Add harnesses for safety of primitive conversions

Add harnesses for safety of primitive conversions #1243

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
11m 33s
Verify std library (partition 1)
34m 24s
Verify std library (partition 2)
43m 2s
Verify std library (partition 3)
36m 1s
Verify std library (partition 4)
46m 52s
Verify std library (partition 1)
27m 8s
Verify std library (partition 2)
39m 52s
Verify std library (partition 3)
36m 1s
Verify std library (partition 4)
42m 7s
5h 17m 0s